1: \begin{definition} \label{kneadingdef}

2: A {\em kneading automaton} is a finite invertible automaton satisfying conditions (1)-(3) of Theorem \ref{char}.

3: \end{definition}

4: