Teoria de Linguagens
Segundo semestre/2015
Livro texto: Introdução
aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
(errata)
Complementação da Seção 2.4:
Veja soluções dos exercícios do capítulo 1 (em um formato provisório).
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.
Monitoria:
- Monitor: Vinícius Veloso de Mello Garcia
- Horários de atendimento: segundas a sextas-feiras de 14 às 17h.
- Local: sala 3003/ICEx.
- E-mail: vingarcia00@gmail.com
Listas de exercícios:
- Primeira Lista:
- Segunda Lista:
- Terceira Lista:
Provas:
- Primeira Prova:
- Data: 15/9.
- Assunto: Seções 1.10, 1.11, 1.12 e Capítulo 2 até 2.4.
- Valor: 24 pontos.
- Veja a solução da prova.
- Segunda Prova:
- Data: 27/10.
- Assunto: seções 2.6, 2.7 e 2.8 e capítulo 3.
- Valor: 23 pontos.
- Veja a solução da prova.
- Segunda Prova especial para quem ausentes com justificativa:
- Data: 03/11.
- Assunto: seções 2.6, 2.7 e 2.8 e capítulo 3.
- Valor: 23 pontos.
- Veja a solução da prova.
- Terceira Prova:
- Data: 24/11. Adiada para 26/11.
- Assunto: Até capítulo 5, inclusive.
- Valor: 23 pontos.
- Veja a solução da prova.
- Prova Suplementar:
- Data: 01/12. Adiada para 03/12.
- Assunto: AFD (2.2), AFN e AFNlambda (2.3), propriedades de LRs (2.4), invariância à direita, ER (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: 34 pontos.
- Importante: a nota substituirá a menor das 3 notas anteriores (considerando lista + prova).
Aqui as notas da prova suplementar.
Veja suas notas no MinhaUFMG. Até o dia 7/12, também aqui.