Title: Automata and computability
Subjects: Machine theory, Computable functions