Introduction to the theory of computation - Sipser, Michael . (Boston : Books/cole, 1997)
Includes bibliography and index
Keywords: MACHINE THEORY