- Sobre ALP
- Objetivos
- Programa & Bibliografia
- Avaliação
- Palavras, Linguagens e Expressões Regulares
- Alfabetos, Palavras e Linguagens
- Expressões Regulares
- < Exercícios >
- Autómatos Finitos
- Autómatos Finitos Deterministas
- Computação Não-Determinista
- Minimização e Composição de AFD
- O Pumping Lemma
- < Exercícios >
- Gramáticas e Autómatos de Pilha
- Gramáticas Livres de Contexto
- Autómatos de Pilha
- < Exercícios >
- Análise Sintática
- Tipos de Análise Sintática
- Limpeza de uma Gramática
- < Exercícios >
- Gramáticas LL
- < Exercícios >
- Gramáticas LR
- < Exercícios >
- Representação & Execução de Programas
- Árvore de Sintaxe Abstrata
- Análise Semântica
- Suporte para um Interpretador
- < Exercícios >
- Languages and Machines: An Introduction to the Theory of Computer Science, 2 ed. Thomas A. Sudkamp. Addison Wesley, 1997. (320 páginas)
- Compilers: Principles, Techniques and Tools, Alfred V. Aho, Ravi Sethi e Jeffrey D. Ullman. Addison Wesley, 1986. (1038 páginas)