| Março |
| 10, 12 |
Introdução, Complexidade, Computabilidade,
Automatos, Exemplos, Operações regulares, fecho por união |
|
17,
19 |
Não determinismo, conversão determinismo,
Construção de subconjuntos, fecho por concatenação, estrela |
|
24,
26
|
Expressões regulares, Expressão regular implica Automato,
Bombeamento Linguagem Regular
|
|
31
|
Algoritmo de Brzozowski (substituição), Lema de Arden |
|
|
| Abril |
|
2
|
Gramatica Regular, equivalencia com Automato |
|
7
|
Gramatica Livre de Contexto
|
|
14,
16
|
Fechamento LCC
(matéria da P1 até aqui)***,
Árvores de Análise Sintática,
Gramáticas ambíguas
-
Quadro
|
| 21, 23 | Feriadão |
|
28
|
Bombeamento LLC
-
Quadro
|
|
30
| Data limite para envio da P1 para a Celina.
Automato de pilha
-
Quadro
|
|
|
| Maio |
|
5
|
Equivalencia AP LLC
(Prova alternativa)
-
Quadro
|
| 6 |
Revisão da P1
|
|
7
|
Máquina de Turing
-
Quadro
|
| 13 |
Revisão da L2
|
|
12 |
decisor, aceitador, Hierarquia de Chomsky
-
Quadro
|
|
14 |
multiplas fitas, não determinismo, fechamento, Tese de Curch-Turing
-
Quadro
|
|
19 |
Máquina de Turing universal,
indecidibilidade, diagonalização, problema da Parada
-
Quadro
|
| 21 |
Complexidade
-
Quadro
|
| 28
| 13:30h - Palestra do Prof. Luis Menasché Schechter
A Vida e as Contribuições Científicas de Alan Turing |
|
|
| Junho |
| 9 | Data limite para envio da P2 para Fábio.
|
| 12 (15h) | horário limite para recebimento de e-mails correspondentes à vista da P2.
|