TCC00178 - Linguagens Formais e Teoria da Computação

Avisos

Nos dias 20/06, 04/07 e 06/07 não haverá aulas.

Datas importantes

Atenção: essas datas constam de uma previsão e podem sofrer alterações.

Projeto final

Resultados de testes

Slides

Listas de exercícios

Ferramentas

Bibliografia

  • Menezes, Paulo Blauth (2011). Linguagens Formais e Autômatos. 6a ed. Bookman
  • Ullman, Jeffrey; Motwani, Rajeev & Hopcroft, John (2013). Introduction to Automata Theory, Languages, and Computation. 3a ed. Pearson
  • Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 42, pp 230–265