I LINGUAGENS E PROCESSADORES: INTRODUÇÃO 1

Transcrição

1 PREÂMBULO PREFÂCIO xiii xv I LINGUAGENS E PROCESSADORES: INTRODUÇÃO INTRODUÇÃO Linguagens O Que É uma Linguagem Como Se Especifica uma Linguagem Processadores de Linguagens O Que Se Entende por Processador de uma Linguagem Tarefas dum Processador de Linguagens Estratégias de Processamento Compiladores, Assemblers e Interpretadores Tratamento Os Primeiros de Erros Compiladores DEFINIÇÃO DE LINGUAGENS Linguagens Formais Linguagens e Expressões Regulares Definição de Linguagem Expressões Gramáticas Derivação Regulares Árvores de Derivação Regular Gramáticas Independentes de Contexto Recursividade Ambiguidade em Gramáticas FIRST, FOLLOW e LOOKAHEAD Gramáticas Reduzidas Eliminação de Símbolos Inactivos Eliminação de Símbolos Inacessíveis Gramáticas Regulares Formas Normais Formal Normal de Chomsky Formal Normal de Greibach Factorização à Esquerda de Uma Gramática Gramáticas LL(l) &f}

2 Gramáticas Definição Atributivas Grafos de Dependência Sintaxe Abstracta Objectos Predicados Local Identificação da Sintaxe Abstracta a partir do BNF n. ANÁLISE AN ÁLISE LÉXICA s Finitos Finito Não-Determinista-AFND Geração de Um AFND a partir de Uma Expressão Regular Finito Determinista-AFD Conversão de um AFND num AFD Conversão de Uma Expressão Regular numa Gramática Regular Codificação em C de um AFD Estrutura de Dados de Leitura Funções Auxiliares Rotina de s Finitos Combinados s Máquinas Máquinas com Saída de Moore de Mealy Equivalência entre Máquinas de Moore e de Mealy s Reactivos Interligação entre os Analisadores Léxico e Sintáctico ANÁLISE SINTÁCTICA de Pilha Descendente Codificação de Um Analisador DESCENDENTE Descendente Vantagens e Inconvenientes do Método Geral de Análise Descendente Analisador Descendente Antecipável Analisador Descendente por Tabela Arquitectura de Uma Frase viii

3 Construção da Tabela do Analisador Sintáctico ANÁLISE SINTÁCTICA ASCENDENTE Princípios Gerais Análise Sintáctica Ascendente CKY Análise Sintáctica Orientada à Precedência de Operadores Relações de Precedência Entre Operadores de Uma Frase Análise Sintáctica Ascendente LR Arquitectura Tabelas do Analisador Sintáctico Ascendente LR de Uma Frase Construção de Tabelas SLR Gramática Estendida Itens LR(O) de Uma Gramática Tabelas LR(O) Conflitos Entre de Acções e de Saltos Acções Construção de Tabelas LR Canónico Itens LR(1) de Uma Gramática LR(1) Tabelas de Acções e de Saltos Conflitos Entre Acções Construção de Tabelas LALR Agrupamento Construção de Estados de Raiz Listagem no Yacc das Tabelas LR Dimensão das Tabelas LR ANÁLISE SEMÂNTICA Definição de Símbolos Estrutura Tabelas Árvores Tabelas Global da Tabela de Símbolos e Listas de Dispersão Avaliação de Atributos Algoritmo de Avaliação Avaliação Durante a Análise Sintáctica Eliminação de Atributos Herdados ix

4 6.5 Tradução Orientada pela Sintaxe Tradução Baseada nas Regras Sintácticas Tradução Assistida por Atributos Tradução Orientada pela Semântica rn. GERAÇÃO DE CÓDIGO CÓDIGO INTERMÉDIO Notação em Árvore Representação em C de Árvores de Instruções Geração no Yacc de Árvores de Instruções Verificação do Tipo de Uma Árvore de Expressões Grafos Dirigidos Acíclicos Notação Pós-Fixada Definição da Notação Pós-Fixada Representação em C da Notação Pós-Fixada Cálculo de Expressões em Notação Pós-Fixada Geração no Yacc de Expressões Aritméticas Controlo de Execução de Programas Código de Triplo Endereço Representação do C3E Representação em C do C3E Geração no Yacc de Expressões Aritméticas Geração no Yacc de Expressões Booleanas Geração no Yacc do Controlo de Fluxo de Programas Geração no Yacc de Acessos a Tabelas Geração no Yacc de Acessos a Cadeias de Caracteres CÓDIGO FINAL Geração de Código Final a partir de C3E Distribuição de Memória Geração de Código para um Bloco Básico Entradas e Saídas de Dados Geração de Código Final a partir de Árvores Programação Dinâmica Reescrita de Árvores OPTIMIZAÇÃO DE CÓDIGO Optimização Local 364 x

5 9.1.1 Optimização Individual Optimização de Subexpressões Optimização entre Blocos Eliminação de Código Inacessível Deslocamento de Código Invariante Substituição de Variáveis de Ciclo Substituição de Variáveis Induzidas Optimização Global A LEX E YACC 395 A.l Gerador de Analisadores Léxicos LEX 397 A.1.1 Regras de Emparelhamento 398 A.1.2 Código auxiliar 402 A.2 Gerador de Analisadores Sintácticos YACC 408 A.2.1 Regras Gramaticais 410 A.2.2 Associação de Valores a Símbolos 413 A.2.3 Tratamento de Erros 416 A.2.4 Código Auxiliar 419 A.3 Interacção entre o LEX e o YACC 419 B JLEX E CUP 423 B.l Gerador de Analisadores Léxicos JLex 425 B.1.1 Código Auxiliar 426 B.1.2 Regras de Emparelhamento 426 B.1.3 Classes 430 B.2 Gerador de Analisadores Sintácticos CUP 433 B.2.1 Gramática 434 B.2.2 Acesso a Valores 437 B.2.3 Tratamento de Erros 437 B.2.4 Código Auxiliar 438 B.3 Interacção entre o JLex e o CUP 439 C PRECC 441 o.i Passos na Geração de Um Analisador Sintáctico 443 C.2 Formato do Ficheiro de Especificação 444 C.2.1 Operadores 447 C.2.2 Atributos 448 C.2.3 Gestão de Erros 450 D OX 453 D.l Inserção de Gramáticas Atributivas no Lex e no Yacc 455 D.2 Declaração de Atributos e Acesso às Suas Instâncias 456 xj

6 D.2.1 D.2.2 D.2.3 D.2.4 D.3 E E.l E.2 E.2.1 E.2.2 E.2.3 E.3 Declaração de Atributos Acesso às Instâncias Modos Anunciadores de Atributos de Definições Acesso a Instâncias de Atributos em Ficheiros L Percurso BURG de Árvores Semânticas Passos na Geração de Um Gerador de Código Organização do Ficheiro de Especificações Zona de Configuração Zona de Declarações Regras Rotinas do Burg BIBLIOGRAFIA REMISSIVO xii