TY  - BOOK
AU  - Sipser,Michael
TI  - Introduction to the theory of computation
SN  - 0534950973
PY  - 2006///
CY  - Boston
PB  - Thomson Course Technology
KW  - Machine theory
KW  - Computational complexity
N1  - Includes bibliographical references (p. 415-419) and index
ER  -