Área 9
Linguagens Formais e Autômatos, Compiladores e Computabilidade (LFACC): Gramáticas; Linguagens Regulares, Sensíveis ao Contexto, Livres de Contexto; Tipos de Reconhecedores; Autômatos de Estado Finito, Determinísticos e não Determinísticos; Máquina de Turing; Autômatos de Pilha; Hierarquia de Chomsky; Tese de Church, Teorema da Incompletude de Gödel; Conceituação de tradutores: compiladores, interpretadores e montadores; Fases de um compilador; Análise léxica; Análise sintática; Análise semântica; Tratamento e recuperação de erros; Geração e Otimização de Código Intermediário; Tabela de símbolos; Ambientes de run- time; Ambiente de interpretação.
- Tutor: Carlos Alberto Petry
- Tutor: Élder Francisco Fontana Bernardi
- Tutor: Roberto Wiest