Teoria de Linguagens
segundo semestre/2018
Livro texto:
Cópias dos slides:
Veja o Plano de Curso.
Alguns softwares que podem facilitar a sua vida:
Veja um texto bom e conciso sobre demonstrações
de teoremas. Ele foi baixado de
http://www.math.dartmouth.edu/archive/m38s04/public_html/. Observe, particularmente, os
itens 4 e 7 da seção 3!
Veja uma demonstração poética da indecidibilidade do problema da parada.
Biografia de Alan Turing: The Enigma, de Andrew Hodges.
Excelente livro sobre Sistemas Formais: Gödel, Escher, Bach: An Eternal Golden Braid, de Douglas Hofstadter.
Listas de exercícios:
Provas:
- Primeira Prova:
- Data: 11/9. Adiada para 18/9.
- Assunto: Capítulo 1 e Capítulo 2 até 2.3.
- Valor: 24 pontos.
- Veja a solução da prova.
- Segunda Prova:
- Data: 23/10.
- Assunto: seções 2.4 a 2.8 e Capítulo 3.
- Veja a solução da prova.
- Valor: 23 pontos.
- Terceira Prova:
- Data: 29/11.
- Assunto: capítulos 4 e 5.
- Valor: 23 pontos.
- Prova Suplementar:
- Data: 6/12 de 11:10h a 12:10h.
- Assunto: AFD (2.2), AFN e AFNlambda (2.3), ERs (2.6),
GLC (3.4), Decidibilidade (5.4, 5.5, 5.6).
- Valor: 24 pontos.
- Importante: a nota substituirá a menor das 3 notas de provas, se maior.
Veja notas no MinhaUFMG.