Title: Introduction to formal languages, automata theory and computation
Subjects: Formal languages, Computable functions, Machine theory