Teoria de Linguagens
Segundo semestre/2017

Livro texto:

Cópias dos slides:

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:

Primeira Lista:
- Data de entrega: 19/9.
- Valor: 10 pontos.
- Enunciado em PDF.
- Solução do professor.
- Enunciado em Latex (para quem pretende editar a solução). Obs: deve-se gerar saída em PS.
Segunda Lista:
- Data de entrega: até 16:40h de 31/10.
- Enunciado em PDF.
- Solução do professor.
- Enunciado em Latex (para quem pretende editar a solução).
Terceira Lista:
- Data de entrega: até 16:40h de 5/12.
- Enunciado em PDF.
- Solução do professor.
- Enunciado em Latex (para quem pretende editar a solução).

Provas:

Primeira Prova:
- Data: 19/9.
- Assunto: Capítulo 1 e Capítulo 2 até 2.3.
- Valor: 24 pontos.
- Veja a solução da prova.
Segunda Prova:
- Data: 31/10.
- Assunto: seções 2.4, 2.6 a 2.8, 3.1 a 3.4.
- Valor: 23 pontos.
- Veja a solução da prova.
Terceira Prova:
- Data: 5/12.
- Assunto: Até capítulo 5, inclusive.
- Valor: 23 pontos.
Prova Suplementar:
- Data: 7/12.
- Assunto: AFD (2.2), AFN e AFNlambda (2.3), propriedades de LRs (2.4), ERs (2.6), GLC (3.4), propriedades de LLCs (3.5), MT (4.1), propriedades de linguagens recursivas e LREs (4.4), decidibilidade (5 todo).
- Valor: 24 pontos.
- Importante: a nota substituirá a menor das 3 notas de provas, se maior.
- Veja a solução da prova.

Veja sua nota final no MinhaUFMG.