TY  - BOOK
AU  - Kozen, Dexter C
TI  - Automata and computability
T2  - Undergraduate texts in computer science
SN  - 3540781056
CY  - NewYork
KW  - Automata theory
KW  - Computational complexity
KW  - Formal languages
KW  - Machine theory
N1  - Includes bibliographical references and index
ER  -