On formal languages in one-dimensional dynamical systems
Hao Xie · Nonlinearity · 1993
We consider the formal languages generated from kneading sequences (KS) in unimodal maps on an interval. The usefulness of an equivalence relation R L . and the Myhill-Nerode theorem in dynamical systems has been explored. A necessary and sufficient condition for the languages being regular is proved. The minimal DFA for periodic KS is determined. A simple proof is provided to show that the language of the Feigenbaum attractor is not regular.