Bibliografia

( ) 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.

( ) 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).
Sudkamp, T. (2005 Boston: Addison-Wesley.) Languages and Machines, (3rd. edition),
Hopcroft, J., Rajeev M., Jeffrey U., (2001, Boston: Addison-Wesley.) Introduction to Automata Theory, Languages and Computation,
Lewis, H., Papadimitriou, C. , (1997, Prentice Hall International Editions, ) Elements of the theory of computation 2nd edition,