TY - BOOK AU - Sipser,Michael TI - Introduction to the theory of computation SN - 9812402268 AV - QA267 .S57 1997 U1 - 511.3 PY - 1997/// CY - Boston PB - Brooks/Cole KW - Machine theory KW - Computational complexity N1 - Includes bibliographical references (p. 381-385) and index; Computer Science & Engineering ER -