Automata, Formal Languages and Complexity
Context-sensitive Grammars and Linear Bounded Automata

Jörg Endrullis
Vrije Universiteit Amsterdam