Automata, Formal Languages and Complexity
Turing Machines

Jörg Endrullis
Vrije Universiteit Amsterdam