Title: Introduction to languages, machines and logic
Subjects: Formal languages, Machine theory