Linguagens Formais e Autômatos

Período letivo 2026.2:

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

Material didático:

• Linguagens Formais: Teoria e Conceitos
  Em co-autoria com os Profs. João José Neto e Ítalo Santiago Vega
  Editora Blucher, 2023, ISBN 9786555067163, 608 páginas
• Linguagens Formais - Exercícios e Soluções
  Marcus Vinicius Midena Ramos
  Novatec Editora, 2021, ISBN 978-65-86057-59-1, 336 páginas
• Linguagens Formais: Teoria, Modelagem e Implementação
  Em co-autoria com os Profs. João José Neto e Italo Santiago Vega
  Editora Bookman 2009. ISBN 9788577804535. 656 páginas (fora de catálogo)
• Aulas gravadas
  
• 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
• 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 final (resolução)

Aulas ministradas: