Automata, Formal Languages and Complexity
Undecidability

Jörg Endrullis
VU University Amsterdam