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