Antonella Lanzoni: Methods from symbolic dynamics in computer science.
Diplom thesis, Ferrara 1998.
Original title: Metodi della dinamica simbolica in informatica.

FUNDAMENTAL CONCEPTS OF SYMBOLIC DYNAMICS Almost periodicity in semigroups of continuous transformations Recurrent sequences Invariant sets and languages Dynamical systems of higher order Block homomorphisms GRAPHS AND DYNAMICAL SYSTEMS Dynamical systems of finite type Peripheric memories and sets of finite type Dynamical systems associated to a graph Graphs of sets of finite type State decomposition REFERENCES