Licenciatura: Matemática, Ramo Científico (Ciências da Computação)

Ano Lectivo: 2001/02

Programa:

1. Conceitos Básicos: Análise e Síntese. Reconhecimento e geração de código. Tradutores e Compiladores. Tarefas de um compilador. Desenvolvimento formal de um compilador.
2. Análise Léxica: Conceitos. Tabela de símbolos reservados, expressões regulares e autómatos finitos. Tratamento de erros.
3. Análise Sintáctica: Conceitos. Abordagens recursivo-descendentes, métodos do tipo LL(). Análise sintáctica por Redução/Transição, métodos do tipo LR(). Tratamento de erros.
4. Análise Semântica: Conceitos. Tradução dirigida pela sintaxe.
5. Ferramentas Computacionais: lex e yacc, ou equivalentes.