Title: The language of machines
Subjects: Computable functions, Formal languages, Machine theory