Introduction to the theory of computation - Sipser, Michael (Cengage Learning, Boston, 2013)
Keywords: IMFORMATICA