Theory of computation - Sipser, Michael (New Delhi : Cengage, 2007)
Includes bibliographical references and index.
Keywords: Machine theory; Computational complexity