Title: Models of computation and formal languages
First published: 1998
Subjects: Formal languages, Computable functions
LC classification: QA9.59 .T39 1998