Gramática Independente de Contexto (GIC) e a definição da sintaxe, ou estrutura, de uma Linguagem; Exemplos
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.
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 de atributos às produções;
as Condições de Contexto que definem as frases com significado em termos dos valores locais e específicos dos atributos;
e as Regras de Tradução expressas em termos dos atributos de cada produção; 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.
Caracterização do problema e objectivos (reconhecimento/interpretação-do-significado e transformação/tradução);
necessidade geral, importância e requisitos reais de eficiência e eficácia na área da compilação.
O Processamento de Linguagens (PL) e a necessidade de definir rigorosamente a linguagem a processar: Gramáticas
(Independentes e Dependentes do Contexto) para definir a sintaxe e abordagens à especificação semântica --
Semântica Operacional, Semântica Axiomática, Semântica Denotacional e Gramática de Atributos.
Geração automática de Processadores de Linguagens com base em GTs (exemplos); Tradução Dirigida pela Sintaxe (TDS).
Geração automática de Processadores de Linguagens com base em GAs (exemplos); Tradução Dirigida pela Semântica (TDSem).
O Processamento de Linguagens (PL) e a necessidade de definir rigorosamente a linguagem a processar:
Gramáticas de Atributos para definir formalmente a sintaxe e a semântica.
Geração automática de Processadores de Linguagens com base em GAs --- Tradução Dirigida pela Semântica (TDSem):
demonstração de um caso prático, concreto, o Sistema LISA (exemplo: desenvolvimento de um processador
para a DSL Lavanda
O Processamento de Linguagens (PL) e a necessidade de definir rigorosamente a linguagem a processar:
Gramáticas de Atributos para definir formalmente a sintaxe e a semântica.
Desenvolvimento (no quadro) de alguns exercícios concretos para praticar a escolha dos atributos e a escrita das regras
(manuseamento de Listas)
O Processamento de Linguagens (PL) e a necessidade de definir rigorosamente a linguagem a processar:
Gramáticas de Atributos para definir formalmente a sintaxe e a semântica.
Desenvolvimento (no quadro) de alguns exercícios concretos para praticar a escolha dos atributos
e a escrita das regras (manuseamento de Declarações)
discussão genérica sobre eficiência de algoritmos e estruturas de dados (arrays versus listas ligadas)
mais usadas em PL.
author: prh@di.uminho.pt;
Last modified: 05 de Junho de 2006