INF1626 - Linguagens Formais e Autômatos

Hisham Muhammad
2013.1 - Terças e quintas, 19:00 às 21:00, sala L524
h@hisham.hm
LabLua, (21)3527-1500 ramal 4523

Conteúdo das aulas

• 05/03 - Aula 1 - Apresentação da disciplina
• 07/03 - Aula 2 - Revisão de teoria dos conjuntos
• 12/03 - Aula 3 - Alfabetos, palavras e linguagens
• 14/03 - Aula 4 - Gramáticas
• 19/03 - Aula 5 - Gramáticas, II
• 21/03 - Aula 6 - Gramáticas regulares - Teste 1
• 26/03 - Aula 7 - Autômatos finitos
• 02/04 - Aula 8 - Autômatos finitos não-determinísticos
• 04/04 - Aula 9 - Correção do teste 1 - Revisão
• 09/04 - Aula 10 - Autômatos finitos com movimentos vazios
• 11/04 - Aula 11 - Expressões regulares
• 16/04 - Aula 12 - Expressões regulares e autômatos finitos - Teste 2
• 18/04 - Aula 13 - Revisão
• 25/04 - Aula 14 - Prova 1 (Lista 1)
• 30/04 - Aula 15 - Lema do bombeamento de linguagens regulares
• 02/05 - Aula 16 - Linguagens livres de contexto
• 07/05 - Aula 17 - Gramáticas livres de contexto e árvores de derivação
• 09/05 - Aula 18 - Ambiguidade em gramáticas e linguagens
• 14/05 - Aula 19 - Autômatos de pilha
• 16/05 - Aula 20 - Exercícios de autômatos de pilha - Teste 3
• 21/05 - Aula 21 - Autômatos de pilha determinísticos
• 23/05 - Aula 22 - Lema do bombeamento de linguagens livres de contexto
• 28/05 - Aula 23 - Propriedades de fechamento de linguagens livres de contexto
• 04/06 - Aula 24 - Prova 2 (Lista 2)
• 06/06 - Aula 25 - Correção da prova 2
• 11/06 - Aula 26 - Introdução a Máquinas de Turing, trecho do paper "On computable numbers..."
• 13/06 - Aula 27 - Máquinas de Turing
• 18/06 - Aula 28 - Máquinas de Turing Linearmente Limitadas e Gramáticas Sensíveis ao Contexto
• 20/06 - Aula 29 - Revisão
• 25/06 - Aula 30 - Linguagens recursivas e linguagens recursivamente enumeráveis
• 27/06 - Aula 31 - Prova 3 (Lista 3)
• 02/07 - Aula 32 - Entrega da Prova 3
• 04/07 - Aula 33 - Prova 4

Mais material

• Lista 1
• Lista 2
• Lista 3
• "Comparando linguagens" - um post sobre linguagens de programação, para a sua diversão
• "On computable numbers, with an application to the Entscheidungsproblem", Alan Turing, 1936.
• Site da disciplina no TecMF