Página do Curso CTC-34 - Linguagens Formais e Automata

Edição de 2017 semestre 2

Plano do curso

Avaliação

• Uma prova presencial por bimestre (4a semana e 3a semana)
• Um trabalho final de implementação valendo o exame

Material para curso CTC-34

• Notas de aula para apoio sobre Teoria de Conjuntos - parte I.
• Notas de aula para apoio sobre Teoria de Conjuntos - parte II.
• Slides do curso
• Lista de apoio (não entregar)
• Outra lista para apoio
• Lista para apoio
• Slides com exemplos das transformações gramaticais
• JFLAP
• Graphviz online
• Bateria de testes linguagens regulares
• PEG.js
• textX
• Manufactoria

Trabalhos

• Definir uma linguagem específica de domínio e sua gramática.
• Implementar o parser da gramática e sua semântica no PEG.
• Exemplos: algohtml.txt algohtml.txt compressao.txt grammar.txt greg.txt mathml.txt minilogo.txt
• PEG.js modificado com saída html