Abstract

We present an explicit construction of minimal deterministic automata which accept the languages of L-R symbolic sequences of unimodal maps resp. arbitrarily close approximations thereof. They are used to study a recently introduced complexity measure of this language which we conjecture to be a new invariant under diffeomorphisms. On each graph corresponding to such an automaton, the evolution is a topological Markov chain which does not seem to correspond to a partition of the interval into a countable number of intervals. O n S y m b o lic D y n a m ic s o f O n e -H u m p e d M a p s o f th e In te rv a l