Title: Introduction to Formal Languages and Machine Computation
Subjects: Formal languages, Machine theory