Title: Introduction to languages and the theory of computation
Subjects: Sequential machine theory, Computable functions