Fundamentos da Teoria da Computação
Primeiro semestre/2000
- Plano de Curso: HTML, PostScript.
- Apostila: (não mais disponivel)
- A página da profa. Susan H. Rodger contém
ferramentas que podem ser utilizadas para resolver alguns exercícios (particularmente,
para construção de autômatos, o pacote JFLAP).
- Listas de exercícios:
- Primeira lista: todos os exercícios das seções 0.10.1 e 0.11.1. Data de
entrega: 21/03/00. Atenção: entrega adiada para 23/03.
- Segunda lista: exercícios da seção 1.2.4: 1, 2, 8, 10, 11, 12, 15 e
16. Data de entrega: 11/04/00.
- Terceira lista: exercícios da seção 1.3.4: 1, 2, 4, 5, 6, 7, 8 e
12. Data de entrega: 27/04/00.
- Quarta lista: exercícios da seção 1.4.3: 1, 3, 4, 5, 6 e 7.
Data de entrega: 04/05/00.
- Quinta lista: exercícios da seção 2.1.1: 2, 3, 4, 5, 6;
exercícios da seção 2.2.1: 1, 2, 3, 5, 6.
Data de entrega: 11/05/00.
- Sexta lista: exercícios da seção 3.2.1: 2, 3, 4, 5 e 6.
Data de entrega: 23/05/00.
- Sétima lista. Data de entrega: 06/06/00.
- Oitava lista. Data de entrega: 27/06/00.
-
ATENÇÃO: Cronograma para o restante do semestre:
As aulas sobre Máquinas de Turing e Hierarquia de Chomsky serão baseadas nos
capítulos 9 e 10 de Sudkamp (vide referência completa no Plano de Curso).
- Provas: