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 |
16 | ter | teoria |
LR's: Lema do bombeamento e propriedades de fechamento |
18 | qui | teoria |
Gramáticas regulares |
23 | ter | teoria |
Expressões regulares |
25 | qui | teoria |
Autômatos de pilha determinístico (APD) |
30 | ter | teoria |
Autômatos de pilha não determinístico (APN) |
dia | sem. | tipo | descrição |
---|---|---|---|
02 | qui | teoria |
Gramáticas livres de contexto (GLC) |
07 | ter | teoria |
Derivação, ambiguidade e manipulação de GLC’s |
09 | qui | teoria |
Forma normal de Chomsky |
14 | ter | teoria |
Forma normal de Greibach |
16 | qui | exercício |
Resolução de exercícios |
21 | ter | prova |
Prova 2 |
23 | qui | teoria |
LLC's: Lema do bombeamento e propriedades de fechamento |
28 | ter | teoria |
Máquinas de Turing |
30 | qui | feriado |
Feriado nacional: Corpus Christi |
dia | sem. | tipo | descrição |
---|---|---|---|
04 | ter | teoria |
Propriedades de Máquinas de Turing |
06 | qui | teoria |
Variações de máquinas de Turing: cabeçote imóvel, múltiplas trilhas, fita ilimitada em ambas as direções |
11 | ter | teoria |
Variações de máquinas de Turing: múltiplas fitas, não determinística |
13 | qui | teoria |
Decidibilidade: tese de Church-Turing, MT's e PD's, MT Universal |
18 | ter | teoria |
Decidibilidade: problema da parada, redução e teorema de Rice |
20 | qui | exercício |
Resolução de exercícios |
25 | ter | prova |
Prova 3 |
27 | qui | exercício |
Resolução de exercícios |
dia | sem. | tipo | descrição |
---|---|---|---|
02 | ter | prova |
Prova suplementar |
04 | qui | exercício |
Resolução de exercícios |
09 | ter | prova |
Prova especial |