Automata, Formal Languages and Complexity
Finite Automata

Jörg Endrullis
Vrije Universiteit Amsterdam