Aula T de 2004/02/25

Tópicos:

• Apresentação da Disciplina:
  • Objectivos e Funcionamento;
  • Avaliação e Trabalhos Práticos;
  • Programa e Bibliografia
• Introdução ao tema Processamento de Linguagens --apresentação/revisão dos conceitos básicos e as relações entre eles:
  • comunicação, mensagem, emissor/receptor;
  • linguagem, frase, vocabulário ou alfabeto, símbolo;
  • gramática;
  • significado, reconhecimento, transformação/tradução;
  • processador de linguagens genérico, compilador e interpretador.

Aula T de 2004/03/01

Não dei aula por estar a participar na Avaliação dos Projectos de 5ºano (Opção III)

Tópicos:

• Revisão do problema do Reconhecimento Sintáctico (Parsing) de uma frase pertencente à Linguagem definida por uma Gramática Independente de Contexto G -- abordagem Top-Down ou Descendente e a necessidade de escolher a produção alternativa olhando para o próximo símbolo do texto fonte;
• Conceito de LookAhead de uma produção: intuição e definição formal à custa do First de uma string e do Follow de um símbolo

Aula T de 2004/03/08

Tópicos:

• Conceito de First de uma string e de um símbolo: intuição e definição formal

Aula T de 2004/03/11

Tópicos:

• Conceito de First de uma string e de um símbolo: intuição e definição formal (continuação)
• Introdução ao Conceito de Follow de um símbolo não-terminal: intuição e definição formal

Aula T de 2004/03/15

Tópicos:

• Conceito de Follow de um símbolo não-terminal: intuição e definição formal (conclusão)
• Árvore de Derivação: revisão do conceito e análise de um caso prático

Tópicos:

• Análise Sintáctica: Parsing Top-Down
  • Conceito geral; Condição LL(1) e LookAhead das produções alternativas
  • Parser Recursivo-Descendente puro -- revisão do algoritmo; generalização das funções específicas para reconhecer os Terminais e também para os Não-Terminais (1ª aproximação).

Aula T de 2004/03/22

Tópicos:

• Análise Sintáctica: Parsing Top-Down
  • Parser Recursivo-Descendente Genérico -- generalização da função específica para reconhecer os Não-Terminais (2ª aproximação); construção da Tabela de Decisão LL(1).

Tópicos:

• Análise Sintáctica: Parsing Top-Down
  • Parser iterativo LL(1) -- substituição da recursividade pela iteração na função para reconhecer os símbolos Não-Terminais/Terminais (3ª aproximação); construção da Tabela de Decisão LL(1); acções semânticas.

Aula T de 2004/03/29

Tópicos:

• Análise Sintáctica: Parsing Top-Down
  • Definição de Gramática Tradutora (GT) para formalizar o tratamento da semântica e da abordagem dita Tradução Dirigida pela Sintaxe (TDS)
  • Parser iterativo LL(1) -- re-escrita do algoritmo de análise sintáctica LL(1) para incluir as acções semânticas de acordo com as definições anteriores (4ª aproximação).

Não dei aula por estar a participar no Congresso ADEH04 em Granada

Aula T de 2004/04/05

Tópicos:

• Análise Sintáctica em Haskell: JAS-Haskell Compilers Tool Box

Aula T de 2004/04/15

Tópicos:

• Análise Sintáctica: Parsing Bottom-Up versus Parsing Top-Down
  • Ponto de situação: revisão/balanço dos objectivos da disciplina e de toda a matéria dada
  • Comparação destas 2 abordagens para introdução ao Parsing LR

Tópicos:

• Parsing e Tradução Dirigida pela Sintaxe
  • Parser iterativo LL(1) -- sistematização da construção da Tabela de Decisão LL(1) através da resolução de um exemplo (Gramática de Mensagem);
  • Simulação do reconhecimento de uma frase concreta dessa linguagem estudando o comportamento da stack, a consulta à tabela LL(1) e a construção da respectiva Árvore de Derivação; discussão da inclusão de acções semânticas para traduzir o texto fonte para HTML
  • Realização da mesma tradução recorrendo ao Flex-Yacc

Aula T de 2004/04/19

Não dei aula por causa das Jornadas de Informática, JOIN'2004

Tópicos:

• Tradução Dirigida pela Sintaxe
  • Consolidação do conceito de Gramática Tradutora (GT) e da transformação pelo método dito Tradução Dirigida pela Sintaxe (TDS) -- sistematização do processo através de 3 exemplos simples (com e sem recurso a variáveis globais): impressão dos nomes de uma lista de projectos, sem e com URL's e contagem dos processos.

Aula T de 2004/04/26

Tópicos:

• Análise Sintáctica: Parsing Bottom-Up
  • Conceito geral: explicação do principio ilustrando o processo de reconstrução da Árvore de Derivação para um exemplo concreto;
  • Apresentação do Algoritmo do Parser iterativo LR assumindo a existência de uma Tabela de Decisão LR formada por uma Tabela de Acção, função dos Terminais, e uma Tabela de Transição (GOTO), função dos Não-Terminais;
  • Introdução intuitiva ao autómato determinista LR, com sub-autómatos para reconhecimento de Não-Terminais; necessidade de um mecanismo de memória para atravessar o autómato LR.

Tópicos:

• Análise Sintáctica: Parsing Bottom-Up
  • Introdução intuitiva ao autómato determinista LR, com sub-autómatos para reconhecimento de Não-Terminais; necessidade de um mecanismo de memória para atravessar o autómato LR (continuação através da análise de um 2º exemplo: a gramática das S-Expression).
  • Introdução à construção formal do Autómato LR; definição de Item LR(k). Exemplo

Aula T de 2004/05/03

Tópicos:

• Análise Sintáctica: Parsing Bottom-Up
  • Definição formal de Autómato LR -- Funções Delta e Alfa e as Tabelas Action e Goto
  • Continuação da formalização do seu processo de construção a partir da noção de Item LR(0).
  • Conflitos Redução-Redução e Transição-Redução. Continuação da exploração das S-Expression como exemplo

Tópicos:

• Análise Sintáctica: Parsing Bottom-Up
  • Conclusão da formalização do processo de construção do Autómato LR a partir da noção de Item LR(0); construção das Tabelas Action e Goto nos casos LR(0) e SLR(1).
  • Resolução dos Conflitos Redução-Redução e Transição-Redução com o Parser SLR(1). Exemplos.

Aula T de 2004/05/17

Tópicos:

• Análise Semântica, GAs e Tradução Dirigida pela Semântica
  • Revisão do conceito de Gramática Tradutora (GT) e dos princípios básicos da Tradução Dirigida pela Sintaxe (TDS) para apresentar os objectivos a atingir com a Tradução Dirigida pela Semântica (TDSem)
  • Introdução ao conceito de Gramática de Atributos: noção informal e definição formal
  • Apresentação de um primeiro exemplo simples: contagem dos elementos de uma lista

Tópicos:

• Análise Semântica, GAs e Tradução Dirigida pela Semântica
  • Definição formal de Gramática de Atributos; Atributos Sintetizados e Herdados
  • Fases do processamento: Parsing e Construção da Árvore de Derivação Abstracta; Decoração da Árvore de Atributo; Validação das Condições de Contexto; Tradução
  • Continuação da resolução de exemplo simples: adição dos elementos de uma lista, geral e dependente de contexto

Aula T de 2004/05/24

Tópicos:

• Geração de Código
  • Identificação das tarefas que caracterizam o Back-End dos Compiladores e sua dependência em relação à máquina-destino: análise do fluxo de controlo e dos dados; optimizações; selecção de instruções e gestão de registos.
  • Geração de Pseudo-código e Máquinas Virtuais, em alternativa à Geração de Código final e à necessidade de refazer o Back-End para cada processador concreto.

Tópicos:

• Análise Semântica, GAs e Tradução Dirigida pela Semântica
  • Definição formal de Gramática de Atributos -- o seu carácter "declarativo e funcional", o "não-determinismo" e o "princípio da localidade"; Atributos Sintetizados e Herdados -- os atributos que têm de ser calculados no contexto de uma dada produção e os atributos que podem ser usados nas regras de cálculo, nas condições e regras de tradução.
  • Continuação da resolução de exemplo simples: Declaração de Variáveis "à la Pascal" e Atribuição (a necessidade de passar o ambiente como um atributo herdado)

Tópicos:

• Escrita detalhada de uma Gramática de Atributos para gerar um página HTML com a listagem dos projectos financiados de um departamento;
• Discussão de toda a problemática associada ao Cálculo dos Atributos: grafo de dependências e ordem de cálculo; cálculo incremental e concorrente

Aula T de 2004/05/31

Tópicos:

• Análise Semântica, GAs e Tradução Dirigida pela Semântica
  • Esclarecimento de uma série de dúvidas práticas sobre o uso do gerador \textsf{LRC}

Tópicos:

• Tratamento de Erros nos Processadores de Linguagens
  • Identificação do problema e princípio geral da solução.
  • As tarefas do Tratamento de Erros: Detecção; Sinalização; Correcção e Recuperação.

Aula TP de 2004/06/07

Tópicos:

• Entrega e avaliação dos 2 Trabalhos Práticos

Resumo:

author: prh@di.uminho.pt; 
Last modified: 08 de Junho de 2004