27 de Fevereiro 2012
Apresentação e objectivos do curso. Sistema de avaliação.
1 de Março de 2012
Análise Léxica:
Modelos para a representação de linguagens regulares. Expressões regulares, autómatos finitos determinísticos e não determinísticos. Conversões entre os diversos modelos. Derivadas de Brzozowski de uma expressão regular. O autómato determinístico de Brzozowski.
Referências:
- Os apontamentos de Modelos de Computação.
- O livro: Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman,, Addison-Wesley, 2006. (disponível na biblioteca - supondo que esta última está disponível…)
5 de Março de 2012
Análise Léxica;
Minimização de Autómatos Finitos. Algoritmo de Moore e de Brzozowski.
As referências são as mesmas da aula anterior.
8 de Março de 2012
Análise Sintáctica
Gramáticas Livres de Contexto. Noção de derivação de uma palavra e de árvore de derivação. Gramáticas ambíguas.
Parsers "Top-Down".
12 de Março de 2012
Análise Sintáctica
Analisadores "Top-Down". Eliminação de ambiguidades,. Eliminação de recursão à esquerda. Parser LL(k). Os conjuncts First e Follow e a tabela dos parser LL(1).
15 de Março de 2012
Análise Sintáctica
Analisador LR(0)
19 de Março de 2012
Análise sintáctica
O analisador SLR(1) e o analisador LR(1).
22 de Março de 2012
Não houve aula: Greve
26 de Março de 2012
Análise Semântica.
Gramáticas de atributos. Atributos sintéticos e atributos herdados.
29 de Março de 2012
Análise Semântica
Estratégias de avaliação de gramáticas de atributos
12 de Abril de 2012
Análise Semantica
Blocos e visibilidade de ambientes.
16 de Abril de 2012
A pilha de execução e a sua utilização.