Automata, Formal Languages and Complexity
Context-Sensitive Languages and Linear Bounded Automata

Jörg Endrullis
Vrije Universiteit Amsterdam