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

Jörg Endrullis
VU University Amsterdam