Formal languages in dynamical systems Günter Troll (1993) Acta Universitatis Carolinae. Mathematica et Physica