| Março |
| 12 | Introdução, Complexidade, Computabilidade, Automatos |
| 14 | Exemplos, Operações regulares, fecho por união |
| 19 | não determinismo, conversão determinismo, fecho por concatenação, estrela |
| 21 | Construção de subconjuntos, fecho por concatenação estrela |
| 26 | Expressões regulares, Expressão regular implica Automato |
| 28 | Bombeamento |
|
|
| Abril |
| 2 | Algoritmo de Brzozowski (substituição), Lema de Arden, Fechamento |
| 4 | Gramatica Regular, equivalencia com Automato, Gramatica Livre de Contexto, Fechamento LLC |
| 9 | aula cancelada devido à chuva |
| 11 | Arvores de Analise Sintática, fechamento (matéria da P1 até aqui) *** |
| 16 | Bombeamento LLC |
| Feriadão |
| 25 | P1 |
| 30 | Automato de Pilha |
|
|
| Maio |
| 2 | Vista P1 & Seminário de Natasha Morrison |
| 7 | Equivalencia AP LLC |
| 9 | Máquina de Turing |
| 14 | decisor, aceitador, recursivo, recursivamente enumeravel, Hierarquia de Chomsky |
| 16 | multiplas fitas, não determinismo, fechamento |
| 21 | Tese de Curch-Turing, Máquina de Turing universal |
| 23 | indecidibilidade, diagonalização, problema da Parada |
| 28 | Palestra do Prof. Luis Menasché Schechter sobre Alan Turing; e P, NP |
| 30 | Aula de Monitoria |
|
|
| Junho |
| 4 e 6 | Não haverá aula. |
| 11 | Revisão |
| 13 | P2 |
| 18 | Vista P2 |