TY  - BOOK
AU  - Hopcroft,John E.
AU  - 
TI  - Introduction to automata theory, languages, and computation
AV  - QA267 .H56 1979
KW  - Machine theory
KW  - Local
KW  - Computational complexity
KW  - Formal languages
N1  - Bibliography: p.396-418; Includes index
ER  -