On Formal Languages in One-Dimensional Dynamical Systems

HM XIE
DOI: https://doi.org/10.1088/0951-7715/6/6/009
1993-01-01
Nonlinearity
Abstract: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.
What problem does this paper attempt to address?