Title: Programs, machines, and computation
Subjects: Formal languages, Machine theory