Introduction to the theory of computation - Sipser,Michael (Vidhyanagar Thomson Australia, 2001)