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

• Especificação (Resultado)

Resultados de testes

Slides

• Aula 0

Listas de exercícios

• Lista 1
• Lista 2
• Lista 3
• Lista 4

Ferramentas

• JFLAP
• Construindo imagens a partir de gramáticas

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