TCC00305 - Linguagens Formais e Teoria da Computação

Avisos

Datas importantes

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

  • Primeira avaliação: 20/09 (Resultado)
  • Segunda avaliação: 29/11 (Resultado)
  • Verificação de reposição: 06/12
  • Verificação Suplementar: 13/12

Trabalho prático

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