Linguagens Formais e Autômatos

Período letivo 2025.1:

• Campus Juazeiro
• Segundas, das 16:00 às 18:00 hs, sala 23
• Quartas, das 16:00 às 18:00 hs, sala 22
• Informações gerais
• Programa da disciplina

Monitoria:

• Sala antiga do Colegiado de Computação (Prédio dos laboratórios)
• Segundas, das 13:00 às 15:00 hs
• Quartas, das 13:00 às 15:00 hs

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

Aulas ministradas: