Teoria da Computação - Mirtha Lina Fernández Venero
Aulas:
Segundas e quintas 16-18h, sala S-305-3
Atendimento para dúvidas:
Segundas, 14.30-15.30h, sala 529-2, bloco A
Fique atent@ ao
Cronograma
(sujeito a modificação)
Conceitos finais
Slides, Listas de Exercícios e Seminários, Q3-2017
Conteúdo
Listas de Exercícios, Seminários, etc
Apresentação da disciplina
-
Linguagens Formais, Gramáticas e Autômatos
Lista de Exercícios 1
Autômatos Finitos e Linguagens Regulares
Lista de Exercícios 2
Seminário 1
Gramáticas e Linguagens Livres de Contexto
Seminário 2
Autômatos de Pilha
Propriedades das Linguagens Livres de Contexto
Lista de Exercícios 3
Máquinas de Turing e Computabilidade
-
Slides Seminário 2
The CYK algorithm
JFLAP
Recursive Descent Parsing
-
-
Prova
Complexidade Computacional
-