Includes supplementary material: sn.pub/extras
Werner Kuich
Algebraic Language Theory Automata Combinatorics Decidability Decision Problems Formal Languages Grammar Systems Language Classes Language Hierarchies Language Theory Rewriting algorithms complexity complexity theory logic