Linguagens Formais e Autômatos

Período letivo 2020.1:

• Campus Juazeiro
• Terças, das 14:00 às 16:00 hs (sala 26)
• Quintas, das 14:00 às 16:00 hs (sala 10)
• Informações gerais
• Programa da disciplina

Material didático:

• Linguagens Formais: Teoria, Modelagem e Implementação
  Em co-autoria com os Profs. João José Neto e Ítalo Santiago Vega
  Editora Bookman 2009. ISBN 9788577804535. 656 páginas
• 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
• Livro "Foundations of Computer Science" de A.V. Aho e J.D. Ullman, disponível para download gratuito na página dos autores:
  • Capítulo 7 - The Set Data Model
  • Capítulo 10 - Patterns, Automata, and Regular Expressions
  • Capítulo 11 - Recursive Description of Patterns
• 40 exercícios sobre linguagens regulares, com solução.
• Documentário Dangerous Knowledge, de David Malone para a BBC, sobre as vidas e obras de Cantor, Boltzmann, Gödel e Turing.

Slides:

• Elementos de matemática discreta
• Conceitos básicos de linguagens
• Linguagens regulares
• Linguagens livres de contexto
• Linguagens sensíveis ao contexto
• Conclusões

Avaliações:

• Prova 1 (resolução)
• Prova 2 (resolução)
• Prova 3 (resolução)
• Prova final (resolução)

Aulas ministradas: