dia | sem. | tipo | descrição |
---|---|---|---|
05 | ter | teoria |
Apresentação da disciplina |
07 | qui | teoria |
Conceitos preliminares: representações, provas de teoremas, conjuntos |
12 | ter | teoria |
Conceitos preliminares: relações, funções, conjuntos enumeráveis |
14 | qui | teoria |
Conceitos preliminares: definições recursivas, indução, grafos |
19 | ter | teoria |
Conceitos preliminares: linguagens formais, gramáticas, problemas de decisão |
21 | qui | teoria |
Autômatos finitos determinísticos (AFD) |
26 | ter | teoria |
Minimização de AFD's |
28 | qui | feriado |
Recesso escolar: Paixão de Cristo |
dia | sem. | tipo | descrição |
---|---|---|---|
02 | ter | teoria |
Propriedades de AFD's |
04 | qui | teoria |
Autômatos finitos não determinísticos (AFN), equivalência entre AFD's e AFN's, AFN estendido e AFN λ. |
09 | ter | exercício |
Resolução de exercícios |
11 | qui | prova |
Prova 1 |
dia | sem. | tipo | descrição |
---|---|---|---|
04 | qui | exercício |
Revisão |
09 | ter | teoria |
LR's: Lema do bombeamento e propriedades de fechamento |
11 | qui | teoria |
Gramáticas regulares |
16 | ter | teoria |
Expressões regulares |
18 | qui | teoria |
Autômatos de pilha determinístico (APD) e não determinístico (APN) |
23 | ter | teoria |
Gramáticas livres de contexto (GLC) |
25 | qui | teoria |
Derivação, ambiguidade e manipulação de GLC’s |
30 | ter | teoria |
Forma normal de Chomsky e Greibach |
dia | sem. | tipo | descrição |
---|---|---|---|
01 | qui | exercício |
Resolução de exercícios |
06 | ter | prova |
Prova 2 |
08 | qui | teoria |
LLC's: Lema do bombeamento e propriedades de fechamento |
13 | ter | teoria |
Máquinas de Turing |
15 | qui | feriado |
Feriado municipal: Assunção de Nossa Senhora |
20 | ter | teoria |
Propriedades de Máquinas de Turing |
22 | qui | teoria |
Variações de máquinas de Turing: cabeçote imóvel, múltiplas trilhas, fita ilimitada em ambas as direções, múltiplas fitas, não determinística |
27 | ter | teoria |
Decidibilidade: tese de Church-Turing, MT's e PD's, MT universal, problema da parada, redução e teorema de Rice |
29 | qui | exercício |
Resolução de exercícios |
dia | sem. | tipo | descrição |
---|---|---|---|
03 | ter | prova |
Prova 3 |
05 | qui | exercício |
Resolução de exercícios |
10 | ter | prova |
Prova suplementar |
12 | qui | exercício |
Resolução de exercícios |
17 | ter | prova |
Prova especial |