Fabio A. Schreiber
Politecnico di Milano, Milano, Italy
Formal languages and their relation to automata