Sipser, Michael. Introduction to the theory of computation / Michael Sipser. - xvii, 437 p. ; 24 cm. Includes bibliographical references and index. ISBN: 0-619-21764-2 Subjects--Topical Terms: Machine theory.Computational complexity.