Bibliografia

Principal

• Sipser, Michael, 2007, Introdução à Teoria da Computação, São Paulo: Thomson, isbn 978-85-221-0499-4. tradução portuguesa de:  Sipser, Michael, 2004, Introduction to the Theory of Computation, 2ª edição, Boston: Thomson, isbn 978-0-6192-1764-8 (cota 2476, Biblioteca DIFCUL).  :
• Sipser, Michael, 2013, Introduction to the Theory of Computation, third edtion, Cengage Learning, isbn-13: 978-1-133-18779-0.   Respício, Ana, 2017, Guião de Exercícios de Teoria da Computação, DIFCUL.:

Secundária

• Slides e outro material de apoio às aulas teóricas e teórico-práticas. Manual para parsing:Sudkamp, Thomas, 2006, Languages and Machines, 3ª edição, Boston: Addison-Wesley, isbn 0-321-32221-5 (cota2048, biblioteca DIFCUL).: