Title: Introduction to the theory of computation
First published: 1973
Subjects: Sequential machine theory, Recursive functions, Formal languages
LC classification: QA267.5.S4 E53 1973