Title: Introduction to automata theory, languages, and computation
Subjects: Machine theory, Computational complexity, Formal languages