Aula T de 2005/02/24

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 do Mapa de Conceitos básico da disciplina:
  • comunicação, mensagem, emissor/receptor;
  • codificação e descodificação/interpretação da mensagem usando códigos textuais, visuais, sonoros, etc.
  • texto, linguagem, frase, vocabulário ou alfabeto, símbolo;
  • gramática;
  • significado, reconhecimento, transformação/tradução;

Aula T de 2005/03/02

Não dei aula por estarmos todos a participar nas Jornadas de Informática do DI, JOIN'2005

Tópicos:

• Introdução ao tema Processamento de Linguagens -- o Mapa de Conceitos básico da disciplina:
  • significado, reconhecimento, transformação/tradução;
  • processador de linguagens genérico, compilador e interpretador;
  • fases do processamento: análise léxica, análise sintáctica, análise semântica, síntese ou tradução;
  • representação intermédia;
  • análise sintáctica top-down, ou predictiva, versus bottom-up.

Aula T de 2005/03/09

Tópicos:

• Gramáticas:
  • Gramática Independente de Contexto (GIC) e a definição da sintaxe, ou estrutura, de uma Linguagem;
  • Gramática Tradutora (GT) e a definição da semântica, ou do conteúdo, de uma Linguagem por adição de Acções Semânticas às produções;
  • Exemplos; constatação do carácter declarativo da Gramática (independência da forma de reconhecimento e do momento de execução das acções).

Tópicos:

• Gramáticas:
  • Gramática de Atributos (GA) e a definição precisa/rigorosa da semântica, ou do conteúdo, de uma Linguagem por adição de Atributos aos símbolos e de Regras de Cálculo às produções;
  • Exemplos; constatação do carácter declarativo da Gramática (independência da forma de reconhecimento e do momento de execução das acções).

Aula T de 2005/03/16

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Top-Down: algoritmo Recursivo-Descendente (RD) puro.

Tópicos:

• Análise Sintáctica, ou Parsing:
  • A eficiência e a imposição da análise sem backtracking, ou da decisão irrevogável;
  • A necessidade de escolher produções alternativas (diferentes lados direitos (RHS) para o mesmo lado esquerdo (LH)): a condição LL(1) que assegura a ausência de conflitos.
  • O LookAhead das produções, calculado com base nos first e follow, e a construção da Tabela de Decisão LL(1)
  • Análise Top-Down: algoritmo Recursivo-Descendente (RD) genérico baseado na Tabela de Decisão.

Aula T de 2005/03/23

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Top-Down: algoritmo Recursivo-Descendente (RD) genérico baseado na Tabela de Decisão -- revisão de todos os problemas, soluções e conceitos introduzidos nas últimas aulas.
  • A problemática associada ao uso de Geradores de Parsers (GP); a linguagem de implementação do GP e a linguagem do PL gerado; historial/evolução das linguagens de programação e a influência das escolas; resenha dos Geradores de Parsers mais conhecidos.

Aula T de 2005/03/30

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Top-Down: algoritmo Recursivo-Descendente (RD) -- sistematização da escrita de um corpo standard para cada função de reconhecimento NT ou T; uso sistemático dos LookAhead das produções para tomada de decisão e escolha do lado direito a reconhecer.

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Top-Down: algoritmo Recursivo-Descendente (RD) genérico baseado na Tabela de Decisão -- generalização da função de reconhecimento, parametrizando-a também com o símbolo NT ou T a reconhecer; passagem da escolha explícita no corpo da função (única) para uma tabela externa de decisão (substituição de uma estrutura caso com outros casos internos pela consulta/acesso a um array); definição das acções de parsing determinadas por cada entrada na tabela.

Aula T de 2005/04/06

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Top-Down: algoritmo iterativo LL(1) baseado na Tabela de Decisão -- transformação da função de reconhecimento recursiva num ciclo com uso explícito de uma Stack de Objectivos, onde se armazenam os próximos símbolos a reconhecer, mantendo a consulta à tabela externa de decisão para saber a acção de parsing a fazer em cada instante (reconhecer-NT, reconhecer-T, aceitar, erro).
• Análise Semântica: o princípio geral -- definição do estado de conhecimento (significado do texto-fonte) que é necessário para produzir a saída; que variáveis devem implementar com eficiência as estruturas de dados que constituem o dito estado; como calcular esse estado a partir do texto-fonte durante a análise sintáctica (segundo a abordagem TDS ao processamento de linguagens).

Tópicos:

• Análise Semântica: a implementação da abordagem TDS e do princípio geral apresentado na última aula recorrendo aos módulos de análise e tradução gerados pelo Flex e pelo Yacc -- passagem e manipulação de valores semânticos associados aos símbolos Terminais e Não-Terminais.

Aula T de 2005/04/13

Tópicos:

• Análise Semântica: a implementação da abordagem TDS e do princípio geral, apresentado na última semana, recorrendo aos módulos de análise e tradução gerados pelo Flex e pelo Yacc -- passagem e manipulação de valores semânticos associados aos símbolos Terminais e Não-Terminais; a variável yylexval, os símbolos semânticos $n, a declaração %union e as declarações %Type e %Token.

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Bottom-Up: introdução a esta estratégia -- apresentação do princípio geral desta abordagem guiada por um autómato determinista com memória, por comparação com o algoritmo iterativo LL(1) baseado na Tabela de Decisão.

Aula T de 2005/04/20

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Bottom-Up: o Algoritmo iterativo LR baseado na Função de Transição (Tabela de Decisão) do Autómato LR -- Tabelas ACTION e GOTO; Stack de Estados (para retornar/regressar ao reduzir um caminho do autómato); identificação das acções de parsing a fazer em cada instante (shift, reduce, aceitar, erro).

Tópicos:

• Análise Semântica: a implementação das operações semânticas (estática e dinâmica) com base na reutilização de código através do uso de bibliotecas; o caso concreto da Geração de Páginas WWW com recurso aos Combinares, em C, para escrita de elementos HTML disponíveis no âmbito do sistema Gram2C (apresentado em MP3); a biblioteca GraphViz.

Aula T de 2005/04/27

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Bottom-Up: Construção do Autómato LR(0) com base num exemplo (linguagem para geração de índices remissivos) -- definição dos conceitos básicos: Item LR; Lookahead de um Item; Estado LR, kernel e fecho; Acções associadas a um estado, transição, redução e aceitação; Conflitos LR.

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Bottom-Up: Construção do Autómato LR(0) com base num exemplo (linguagem para geração de índices remissivos) -- consolidação dos conceitos, sistematização do processo e conclusão do exemplo.

Aula T de 2005/05/04

Tópicos:

• Análise Sintáctica, ou Parsing:
  • Análise Bottom-Up: Construção do Autómato LR(0) e SLR(1) com base num exemplo (linguagem das S-Expressions) -- consolidação dos conceitos das aulas anteriores, identificação dos Conflitos Transição-Redução e Redução-Redução, utilização dos Follow() dos Símbolos para uso da técnica SLR(1) e resolução de conflitos.

Tópicos:

• Análise Sintáctica, ou Parsing: Síntese de toda a matéria e encerramento do capítulo.
• Introdução à Compilação e suas tarefas específicas: descrição geral dos objectivos e da estrutura de um Compilador; geração de código final versus geração de pseudo-código.

Aula T de 2005/05/18

Tópicos:

• Compilação e suas tarefas específicas -- continuação da discussão dos conceitos básicos: geração de código final versus geração de pseudo-código -- noção de Máquina Virtual (o caso do MSP como exemplo de uma Máquina de Stack Virtual).
• Compilação e discussão dos requisitos típicos de uma Linguagem de Programação moderna de Alto Nível (Estruturas de Dados e Estruturas de Controlo do Fluxo de Execução); O caso da Linguagem LISS proposta no enunciado do 2ª Trabalho Prático

Tópicos:

• Tradução Dirigida pela Semântica: Análise Sintáctica, Semântica e Tradução com base numa Gramática de Atributos:
  • Introdução ao LRC, um Gerador de Ambientes Incrementais de Compilação com base em GAs.

Aula T de 2005/05/25

Tópicos:

• Compilação e suas tarefas específicas: geração de Assembly (implicando a implementação de um Assembler) versus geração de Código Máquina (sequência de bytes).

Aula T de 2005/06/01

Tópicos:

• Compilação e discussão dos requisitos típicos de uma Linguagem de Programação moderna de Alto Nível: gestão dinâmica de memória através do uso de uma Heap para implementar uma linguagem com sequências dinâmicas como é o caso da LISS.
• Gramáticas de Atributos -- introdução aos conceitos básicos.

Tópicos:

• Gramáticas de Atributos -- resolução de pequenos exercícios diversos para consolidação dos conceitos básicos:
  • Geração de instruções Sql para inserção de Medicamentos numa base de dados, validando a Classe de cada medicamento, o Laboratório fabricante e o Modo de apresentação (discussão da Tabela de Identificadores e das Condições de Contexto).

author: prh@di.uminho.pt; 
Last modified: 04 de Junho de 2005