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