Title: Theory of automata, formal languages and computation
Subjects: Machine theory, Computational complexity