TCC00178 - 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: 28/09 (Resultado)
  • Segunda avaliação: 23/11
  • Verificação Suplementar: 30/11

Trabalho prático

A entrega e apresentação devem ser feitas até o dia 14 de novembro de 2018.

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