Linguagens Formais e Autômatos

Material didático:

• Apostila
• Material complementar sobre equivalência entre autômatos finitos e expressões regulares
• Material complementar sobre pumping lemma para as linguagens livres de contexto
• Material complementar sobre linguagens que não são recursivas
• Material complementar sobre decidibilidade
• Slides
• Avaliações
• Exercícios
• JFLAP - um simulador gráfico e interativo para experimentação com gramáticas, expressões regulares e autômatos:
  • Download (renomeie para "JFLAP.jar" caso o seu S.O. modifique o nome para "JFLAP.zip")
  • Site

Período letivo 2008.1:

• Campus Juazeiro
• Segundas e quartas, das 13:00 às 16:00hs, sala 19
• Programa da disciplina
• Calendário das aulas (ATUALIZADO)