Languages and machines : an introduction to the theory of computer science /
Sudkamp, Thomas A.
Reading, Mass. ; Harlow  : Addison-Wesley Pub.,
c1997.
Includes bibliographical references (p. 553-559) and index.
Formal languages.
Machine theory.
Computational complexity.