Introduction to the theory of computation - Sipser, Michael ([S.n.], 1997)