TY - BOOK AU - Sipser, Michael. TI - Introduction to the theory of computation SN - 0-619-21764-2 PY - 2006/// KW - Machine theory KW - sears KW - Computational complexity N1 - Includes bibliographical references and index ER -