Teóricas

3ª feiras

17:00

19:00

Práticas

4ª feiras

11:00

12:30

25/11/98

17:00

Anfiteatro 1

CLAV

03/02/99

14:00

Sala 128

CLAV

Aula N. 1 (teórica) Data 06/10/1998

Sumário: Apresentação e motivação para a disciplina. Breve revisão de conceitos matemáticos necessários: teoria de conjuntos; relações e funções; relações de equivalência; indução.

Aula N. 1 (prática) Data 07/10/1998

Sumário: Resolução de exercícios sobre as matérias de matemática revistas na aula teórica.

Aula N. 2 (teórica) Data 13/10/1998

Sumário: Conceitos básicos de linguagens: "strings" e linguagens; especificação finita de linguagens; linguagens e expressões regulares.

Aula N. 2 (prática) Data 14/10/1998

Sumário: Resolução de exercícios simples sobre especificação finita de linguagens e sobre expressões regulares.

Aula N. 3 (teórica) Data 20/10/1998

Sumário: Definição de gramáticas livres de contexto. Geração de linguagens. Derivação de palavras e árvores de derivação. Gramáticas regulares.

Aula N. 3 (prática) Data 21/10/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 4 (teórica) Data 27/10/1998

Sumário: Introdução à análise sintática. Derivações esquerdas e direitas. Gramáticas ambíguas. Grafo correspondente a uma gramática. Analisadores sintáticos "top-down" em largura e profundidade.

Aula N. 4 (prática) Data 28/10/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 5 (teórica) Data 03/11/1998

Sumário: Analisadores sintáticos "bottom-up" em largura e em profundidade.

Transformações e formas normais de gramáticas: eliminação de recursividade no símbolo inicial; eliminação de regras l.

Aula N. 5 (prática) Data 04/11/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 6 (teórica) Data 10/11/1998

Sumário: Transformações de gramáticas: eliminação de encadeamentos de variáveis; eliminação de símbolos inúteis. Forma normal de Chomsky.

Aula N. 6 (prática) Data 11/11/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 7 (teórica) Data 17/11/1998

Sumário: Forma normal de Greibach. Análise do comportamento dos vários analisadores sintáticos mencionados em gramáticas nas formas normais.

Aula N. 7 (prática) Data 18/11/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 8 (teórica) Data 24/11/1998

Sumário: Autómatos finitos determinísticos, não determinísticos e não determinísticos com transições l.

Aula N. 8 (prática) Data 25/11/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 9 (teórica) Data 02/12/1998

Sumário: Equivalência entre os vários tipos de autómatos finitos: eliminação do não determinismo. Minimização de autómatos finitos. Relação entre autómatos finitos, gramáticas regulares e expressões regulares.

Aula N. 9 (prática) Data 09/12/1998

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 10 (teórica) Data 15/12/1998

Sumário: Linguagens não regulares e "pumping lemma". Autómatos de pilha e relação com gramáticas livres de contexto.

Aula N. 10 (prática) Data 16/12/1998

Sumário: Resolução de exercícios de provas de não regularidade de linguagens, e construção de autómatos de pilha.

Aula N. 11 (teórica) Data 05/01/1999

Sumário: Gramáticas LL(K):"lookahead" em parsers determinísticos; conjuntos de "lookahead", FIRST e FOLLOW.Gramáticas LL(K)-forte.

Aula N. 11 (prática) Data 06/01/1999

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).

Aula N. 12 (teórica) Data 12/01/1999

Sumário: Gramáticas LR(K): contextos LR(0); "parser" LR(0); autómato (máquina) LR(0); generalização para LR(1) e LR(K).

Aula N. 12 (prática) Data 13/01/1999

Sumário: Resolução dos exercícios constantes da ficha prática correspondente (anexa-se a resolução).