COMPILADORES. Análise semântica. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

Documentos relacionados
COMPILADORES. Análise semântica. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

Tradução Dirigida Pela Sintaxe

Tradução Dirigida à Sintaxe. Prof. Ricardo Santos

Compiladores Ciência e Tecnologia da Computação Engenharia Informática e de Computadores

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

Introdução. Compiladores Análise Semântica. Introdução. Introdução. Introdução. Introdução 11/3/2008

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

Lembrando análise semântica. Compiladores. Implementação de esquemas de tradução L-atribuídos. Exemplo de implementação top-down (1)

Construção de Compiladores Aula 18 - Análise Sintática Ascendente

Construção de Compiladores Aula 17 - Análise Sintática Descendente

Compiladores - Análise Ascendente

V.2 Especificação Sintática de Linguagens de Programação

Compiladores - Análise Ascendente

Análise sintática. Análise sintática ascendente. Parte-se dos símbolos terminais em direção ao símbolo inicial da gramática. Derivação mais à direita

V Análise Sintática. V.1.1 Gramáticas Livres de Contexto Definições de GLC

LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO

V Teoria de Parsing. Termos Básicos: Parser Analisador Sintático Parsing Analise Sintática Parse Representação da analise efetuada

Análise Sintática. Fabiano Baldo

CES-11. Árvores. Conceito de árvore. Definição recursiva de árvore Definições associadas a árvore. Ordenação dos nós de uma árvore

Linguagens de Programação Aula 5

Análise Sintática. Eduardo Ferreira dos Santos. Outubro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 18

Reduce: reduz o que está imediatamente à esquerda do foco usando uma produção

Introdução Uma linguagem de programação apoiada em um paradigma imperativo apresenta algum grau de dificuldade nos aspectos relativos ao contexto;

Análise Sintática Introdução

Grafos: Busca. SCE-183 Algoritmos e Estruturas de Dados 2. Thiago A. S. Pardo Maria Cristina

Análise Sintática LL(1)

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang

I LINGUAGENS E PROCESSADORES: INTRODUÇÃO 1

Análise Sintática II: Analisadores Descendentes Preditivos

CONCEITO DE ÁRVORE CES-11. A raiz é o único nó que não possui ancestrais. As folhas são os nós sem filhos. Exemplos:

Introdução à Programação

15/03/2018. Professor Ariel da Silva Dias Aspectos sintáticos e semânticos básicos de linguagens de programação

COMPILADORES. Revisão Linguagens formais Parte 02. Prof. Geovane Griesang

Compiladores Aula 6. Celso Olivete Júnior.

Análise Sintática I. Eduardo Ferreira dos Santos. Abril, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 42

Tradução dirigida por sintaxe

Análise sintática. Análise sintática. Top-down ou descendente. Com retrocesso: por tentativa e erro. Preditiva: para gramáticas LL(1) 09/04/2012

CES-11. Algoritmos e Estruturas de Dados

Revisão. Fases da dacompilação

Análise semântica. Função, interação com o compilador Tabela de símbolos Análise semântica. Prof. Thiago A. S. Pardo

Análise Sintática II. Eduardo Ferreira dos Santos. Outubro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 34

CES-11. Algoritmos e Estruturas de Dados. Carlos Alberto Alonso Sanches Juliana de Melo Bezerra

IV Gramáticas Livres de Contexto

Concurso Público para provimento de cargo efetivo de Docentes. Edital 20/2015 CIÊNCIA DA COMPUTAÇÃO II Campus Rio Pomba

Faculdade de Computação

Algoritmos em Grafos

LL Parser ( TOP-DOWN)

Compiladores Analisador Sintático. Prof. Antonio Felicio Netto Ciência da Computação

Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES. Síntese. Prof. Geovane Griesang

Apresentação. !! Familiarização com os métodos de construção de compiladores de linguagens e com as técnicas de compilação mais habituais.

Construção de Compiladores Aula 16 - Análise Sintática

Construção de Compiladores Aula 3 - Analisador Sintático

Tokens, Padroes e Lexemas

Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES. Introdução. Geovane Griesang

Compiladores Aula 4. Celso Olivete Júnior.

Sintática: como é escrito cada elemento da linguagem de programação.

Teoria dos Grafos Aula 8

Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais

BNF (Backus-Naur Form) Gramática Livres de Contexto / Estruturas Recursivas

Analisadores Sintáticos LR

Compiladores - Especificando Sintaxe

Universidade Federal de Goiás Bacharelado em Ciências da Computacão Compiladores

Compiladores. Top-Down x Bottom Up. Plano da aula. Redução exemplo 1. Redução exemplo 1. Lembrando: construir a tabela de análise LL(1) A Abc b B d

Conceitos de Linguagens de Programação

ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática

Árvores (ordenadas) Departamento de Ciência de Computadores da FCUP MC Aula 11 1

CP Compiladores I Prof. Msc.. Carlos de Salles

Linguagens de Domínio Específico

Linguagens Formais e Autômatos P. Blauth Menezes

Processamento da Consulta. Processamento da Consulta

Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax:

LFA Aula 09. Gramáticas e Linguagens Livres de Contexto 18/01/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior.

SUMÁRIO. Fundamentos Árvores Binárias Árvores Binárias de Busca

FACULDADE LEÃO SAMPAIO

Gramáticas Livres de Contexto

Analisadores Descendentes Tabulares; Cjs First Follow

Automata e Linguagens Formais

Lema do Bombeamento Linguagens Livres de Contexto

Análise sintática. Questão. E se a análise sintática pudesse ser modelada por autômatos?

Teoria dos Grafos Aula 6

Análise semântica. Análise Semântica. Estrutura de um compilador. Anotação da árvore sintática. Tipos de comunicação de atributos?

Compiladores. Parser LL 10/13/2008

Plano da aula. Compiladores. Os erros típicos são sintáticos. Análise Sintática. Usando Gramáticas. Os erros típicos são sintáticos

Compiladores - JACC. Fabio Mascarenhas

Linguagens Livres de Contexto

Classificação Externa: Intercalação de Partições Classificadas

Definição. Em POO, a abstração é o processo de esconder os detalhes de implementação de uma aplicação.

Complexidade de Algoritmos

Árvores. Fabio Gagliardi Cozman. PMR2300 Escola Politécnica da Universidade de São Paulo

Árvores. Prof. Byron Leite Prof. Tiago Massoni Prof. Fernando Buarque. Engenharia da Computação. Poli - UPE

Busca em Profundidade. Componentes Conexos. Grafos. Maria Adriana Vidigal de Lima. Fevereiro

CES-11. Algoritmos e Estruturas de Dados. Carlos Alberto Alonso Sanches

INE5317 Linguagens Formais e Compiladores. AULA 10: Anális e S intática

INF1010 Lista de Exercícios 2

Análise sintática. Análise sintática ascendente. Bottom-up, ascendente ou redutiva. Analisadores de precedência de operadores Analisadores LR

Gramáticas Livres de Contexto Parte 1

Transcrição:

Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise semântica Tradução dirigida pela sintaxe Parte 02 Prof. geovanegriesang@unisc.br

Sumário Data 18/11/2013 Análise sintática Parte 01 25/11/2013 Análise sintática Parte 02 02/12/2013 Síntese 09/12/2013 Prova 03 16/12/2013 EXAME Conteúdo 2

Sumário Análise semântica Grafos de dependência Ordenando os atributos Definições S-atribuídas Definições L-atribuídas Esquemas de tradução dirigidos pela sintaxe - SDT 3

Grafos de dependência Grafos de dependência são uma forma útil para determinar uma ordem de avaliação para as instâncias dos atributos em dada árvores de derivação. Enquanto a árvore de derivação anotada mostra os valores dos atributos, um grafo de dependência nos ajuda a determinar como esses valores podem ser avaliados. 4

Grafos de dependência Um grafo de dependência representa o fluxo de informações entre as instâncias dos atributos em uma árvore de derivação. Uma aresta de uma instância de atributo para outra significa que o valor da primeira é necessária para calcular a segunda. As arestas expressam restrições impostas pelas regras semânticas. E val E 1 val + T val 5

Grafos de dependência Para cada nó da árvore de derivação, digamos, um nó rotulado pelo símbolo da gramática X, o grafo de dependência possui um nó para cada atributo associado a X. A b X c 6

Grafos de dependência Suponha que uma regra semântica associada a uma produção-p defina o valor do atributo sintetizado A.b em termos do valor de X.c (a regra pode definir A.b em termos de outros atributos além de X.c). Em todo nó N rotulado com A onde a produção-p é aplicada, crie uma aresta para o atributo b em N, a partir do atributo c na filho de N correspondendo a instância do N símbolo X no corpo da produção. A b X c Y d 7

Suponha que uma regra semântica associada a uma produção-p defina o valor do atributo herdado B.c em termos no valor de X.a. Então, o grafo de dependência tem uma aresta de X.a para B.c. Para cada nó N rotulado com B que corresponda a uma ocorrência desse B no corpo da produção-p, crie uma aresta para o atributo c em N a partir do atributo a no nó M que corresponda a essa ocorrência de X. Observe que N poderia ser pai ou irmão de N. N B c M X a M a Grafos de dependência X B c N 8

Grafos de dependência Exemplo: PRODUÇÃO E E₁ + T REGRA SEMÂNTICA E.val = E₁.val + T.val Em todo nó N rotulado com E, com filhos correspondendo ao corpo dessa produção, o atributo sintetizado val em N é calculado usando os valores de val dos dois filhos, rotulados com E 1 e T. E val E 1 val + T val Adotaremos a seguinte conversão: as arestas da árvores de derivação são arestas pontilhadas, enquanto as arestas do grafo de dependência são sólidas. 9

Tradução dirigida pela sintaxe Árvore de derivação anotada (aula passada) Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T.val = 15 F.val = 3 T.inch = 3 T.inch = 15 T 1.inch = 15 F.val = 5 T 1.inch = 15 T 1.syn = 15 Entrada: 3 * 5 digit.lexval = 3 * digit.lexval = 5 ε 10

Grafos de dependência Ex.: Os nós do grafo de dependência estão representados pelos números 1 até 9, que correspondem aos atributos da árvores de derivação anotada. T 9 val F 3 val inh 5 T 8 syn digit 1 lexval F 4 val * inch 6 T 7 syn digit 2 lexval ε 11

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F T digit * F T digit ε 12

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F T digit 1 lexval * F T digit ε 13

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F T digit 1 lexval * F T digit 2 lexval ε 14

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val T digit 1 lexval * F T digit 2 lexval ε 15

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val T digit 1 lexval * F 4 val T digit 2 lexval ε 16

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val inh 5 T digit 1 lexval * F 4 val T digit 2 lexval ε 17

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val inh 5 T digit 1 lexval * F 4 val inch 6 T digit 2 lexval ε 18

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val inh 5 T digit 1 lexval * F 4 val inch 6 T digit 2 lexval ε 19

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val inh 5 T digit 1 lexval * F 4 val inch 6 T 7 syn digit 2 lexval ε 20

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T F 3 val inh 5 T 8 syn digit 1 lexval * F 4 val inch 6 T 7 syn digit 2 lexval ε 21

Grafos de dependência Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval T 9 val F 3 val inh 5 T 8 syn digit 1 lexval * F 4 val inch 6 T 7 syn digit 2 lexval ε 22

Grafos de dependência Os nós 1 e 2 representam o atributo lexval associado às duas folhas rotuladas com digit. Os nós 3 e 4 representam o atributo val associado aos dois nós rotulados com F. As arestas para o nó 3 a partir de 1 e para o nó 4 a partir de 2 resultam da regra semântica que define F.val em termos de digit.lexval. 4) F digit F.val = digit.lexval Na verdade, F.val é igual ao valor de digit.lexval, mas a aresta representa dependência, e não igualdade. 23

Grafos de dependência Os nós 5 e 6 representam o atributo herdado T.inh associado a cada uma das ocorrências do não-terminal T. A aresta 3 para 5 deve-se à regra T 1.inh = F.val, que define T.inh no filho à direita da raiz a partir de F.val, o filho a esquerda. Vemos as arestas para o nó 6 a partir do nó 5 para T.inh e a partir do nó 4 para F.val, pois esses valores são multiplicados para avaliar o atributo inh no nó 6. Por fim, o nó 9 representa o atributo T.val. A aresta 9 a partir de 8 deve-se à regra semântica T.val = T.syn, associada à produção 1. 24

Sumário Análise semântica Grafos de dependência Ordenando os atributos Definições S-atribuídas Definições L-atribuídas Esquemas de tradução dirigidos pela sintaxe - SDT 25

Grafos de dependência Ordenando os atributos Grafo de dependência caracteriza as possíveis ordens nas quais podemos avaliar os atributos nos diversos nós de uma árvore de derivação. Se o grafo de dependência possuir uma aresta do nó M ao nó N, então o atributo correspondendo a M deve ser avaliado antes do atributo N. Tal ordenação incorpora uma ordem linear em um grafo direcionado, e é chamada de ordenação topológica do grafo. Primeiro avaliar M para depois avaliar N. N B c M X a 26

Grafos de dependência Ordenando os atributos Se houver qualquer ciclo no grafo, não haverá ordenações topológicas, ou seja, não há como avaliar a SDD nessa árvore de derivação. PRODUÇÃO REGRA SEMÂNTICA A.s A B A.s = B.i B.i = A.s + 1 B.i Se não houver ciclos, sempre haverá ordenação topológica. 27

Ordenando os atributos O grafo de dependência visto na figura acima não possui ciclos. Uma ordenação topológica é a ordem em que os nós já foram numerados: 1, 2,.., 9. Cada aresta no grafo vai de um nó para outro com um número mais alto, de modo que essa ordem certamente é uma ordenação topológica. Existem também outras ordenações topológicas, como por exemplo: 1, 3, 5, 2, 4, 6, 7, 8, 9. 28

Grafos de dependência Ordenando os atributos Em uma SDD, é muito difícil saber se existem árvores de derivação cujos grafos de dependência possuem ciclos. Na prática, as traduções podem ser implementadas usando-se classes de SDDs que garantem uma ordem de avaliação, já que elas não permitem grafos de dependência com ciclos. Duas classes podem ser implementadas eficientemente em conexão com métodos de análise sintática descendente ou ascendente. A primeira classe é definida da seguinte forma: Uma SDD é S-atribuída se todo atributo é sintetizado. 29

Sumário Análise semântica Grafos de dependência Ordenando os atributos Definições S-atribuídas Definições L-atribuídas Esquemas de tradução dirigidos pela sintaxe - SDT 30

A SDD abaixo é um exemplo de uma definição S-atribuída. Definições S-atribuídas Cada atributo, L.val, E.val, T.val e F.val, é sintetizado. Quando uma SDD é S-atribuída, podemos avaliar seus atributos em qualquer ordem ascendente dos nós na árvore de derivação. Produção Regras semânticas 1) L E n L.val = E.val 2) E E 1 + T E.val = E 1.val + T.val 3) E T E.val = T.val 4) T T 1 * F T.val = T 1.val * F.val 5) T F T.val = F.val 6) F ( E ) F.val = E.val 7) F digit F.val = digit.lexval 31

Definições S-atribuídas Muitas vezes, é simples avaliar os atributos realizando um caminhamento pós-ordem na árvore de derivação e computando atributos em um nó N quando o caminhamento deixa N pela última vez. Relembrando... Pós-ordem, visitar primeiro a sub-árvore esquerda, depois a sub-árvore direita e por último a raiz. Pós-ordem: CBEFDA 32

Definições S-atribuídas As definições S-atribuídas podem ser implementadas durante o processo de análise ascendente, visto que um analisador sintático ascendente corresponde a um caminhamento pós-ordem. Pós-ordem corresponde à ordem em que um dado analisador sintático LR realiza a redução do corpo de uma produção à sua cabeça. postorder(n){ for(cada filho C de N, a partir da esquerda) postorder(c); avalia atributos associados ao nó N; } 33

Relembrando... duas classes serão apresentadas nesta aula e podem ser implementadas eficientemente em conexão com os métodos de análise sintática descendente ou ascendente. A primeira classe é definida da seguinte forma: Uma SDD é S-atribuída se todo atributo é sintetizado. A segunda classe é definida da seguinte forma: Uma SDD é L-atribuída se tiver atributos sintetizado e herdados. 34

Sumário Análise semântica Grafos de dependência Ordenando os atributos Definições S-atribuídas Definições L-atribuídas Esquemas de tradução dirigidos pela sintaxe - SDT 35

Definições L-atribuídas Entre os atributos associados ao corpo de uma produção, as arestas do grafo de dependência podem ser direcionadas da esquerda para a direita, mas não da direita para a esquerda (daí, L-atribuída, de Left). Cada atributo precisa ser: 1. Sintetizado, ou 2. Herdado, com as regras limitadas. 36

Definições L-atribuídas Quanto aos herdados, suponha que exista uma produção A X 1 X 2...X n, e que exista um atributo herdado X i.a, calculado por alguma regra associada a essa produção. Então, cada regra pode usar apenas: a) Os atributos herdados associados à cabeça A. A h X 1 a b... X i-1 a X i a Y 1 s 37

Definições L-atribuídas Quanto aos herdados, suponha que exista uma produção A X 1 X 2...X n, e que exista um atributo herdado X i.a, calculado por alguma regra associada a essa produção. Então, cada regra pode usar apenas: b) Os atributos herdados ou sintetizados associado às ocorrências dos símbolos X 1, X 2,..., X i-1 localizados à esquerda de X i. A h X 1 a b... X i-1 a X i a Y 1 s 38

Definições L-atribuídas Quanto aos herdados, suponha que exista uma produção A X 1 X 2...X n, e que exista um atributo herdado X i.a, calculado por alguma regra associada a essa produção. Então, cada regra pode usar apenas: c) Os atributos herdados ou sintetizados associados à ocorrência do próprio X i, desde que não existam ciclos em um grafo de dependência formado pelos atributos desse X i. A h X 1 a b... X i-1 a X i a Y 1 s 39

Definições L-atribuídas Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval A SDD acima é L-atribuída. Por quê? Considere as regras semânticas para os atributos herdados: PRODUÇÃO T FT T *FT 1 REGRA SEMÂNTICA T.inh = F.val T 1.inh = T.inh * F.val 40

Definições L-atribuídas Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval 1ª regra define o atributo herdado T.inh usando apenas F.val, e F aparece à esq. de T no corpo da produção. T 9 val PRODUÇÃO T FT T *FT 1 REGRA SEMÂNTICA T.inh = F.val T 1.inh = T.inh * F.val F 3 val inh 5 T 8 syn digit 1 lexval * F 4 val inch 6 T 1 7 syn digit 2 lexval ε 41

Definições L-atribuídas Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval 2ª regra define T 1.inh usando o atributo herdado T.inh associado à cabeça, e F.val, onde F aparece à esquerda de T 1 no corpo da produção. T 9 val PRODUÇÃO T FT T *FT 1 REGRA SEMÂNTICA T.inh = F.val T 1.inh = T.inh * F.val F 3 val inh 5 T 8 syn digit 1 lexval * F 4 val inch 6 T 1 7 syn digit 2 lexval ε 42

Definições L-atribuídas Produção Regras semânticas 1) T FT T.inh = F.val T.val = T.syn 2) T *FT 1 T 1.inh = T.inh * F.val T.syn = T 1.syn 3) T ε T.syn = T.ihn 4) F digit F.val = digit.lexval PRODUÇÃO T FT T *FT 1 REGRA SEMÂNTICA T.inh = F.val T 1.inh = T.inh * F.val As regras usam informações de cima ou da esquerda, conforme exigido pela classe. Os atributos restantes são sintetizados. A SDD é L-atribuída. 43

Definições L-atribuídas Qualquer SDD contendo a produção e regras abaixo não é L-atribuída: PRODUÇÃO A B C REGRA SEMÂNTICA A.s = B.b; B.i = f (C.c, A.s) A B i C c s A primeira regra, A.s = B.b, é uma regra legítima em uma SDD S-atribuída ou L-atribuída. Ela define um atributo sintetizado A.s em termos de um atributo em um filho (ou seja, um símbolo dentro do corpo de produção). 44

Definições L-atribuídas Qualquer SDD contendo a produção e regras abaixo não é L-atribuída: PRODUÇÃO A B C REGRA SEMÂNTICA A.s = B.b; B.i = f (C.c, A.s) A B i C c s A 2ª regra define um atributo herdado B.i, de modo que a SDD inteira não pode ser S-atribuída. Além disso, embora a regra seja válida, a SDD não pode ser L-atribuída, pois o atributo C.c é usado para ajudar a definir B.i, e C está à direita de B no corpo de produção. 45

Definições L-atribuídas Qualquer SDD contendo a produção e regras abaixo não é L-atribuída: PRODUÇÃO A B C REGRA SEMÂNTICA A.s = B.b; B.i = f (C.c, A.s) A B i C c s Embora os atributos dos irmãos em uma árvore de derivação possam ser usados nas SDDs L-atribuídas, eles precisam estar à esquerda do símbolo cujo atributo está sendo definido. 46

Sumário Análise semântica Grafos de dependência Ordenando os atributos Definições S-atribuídas Definições L-atribuídas Esquemas de tradução dirigidos pela sintaxe - SDT 47

Esquemas de tradução dirigidos pela sintaxe (SDT - Syntax-Directed Translator) Os SDTs são uma notação complementar para as SDDs. Um SDT é uma gramatica livre de contexto com fragmentos de programa incorporados no corpo das produções. Os fragmentos de programa são chamados de ações semânticas e podem aparecer em qualquer posição no corpo de uma produção. Por convenção, as ações aparecem entre chaves; se as chaves fizerem parte dos símbolos da gramatica, então a colocarmos entre aspas para diferenciá-las. 48

Esquemas de tradução dirigidos pela sintaxe - SDT Um SDT pode ser implementado construindo-se primeiro uma árvore de derivação e, então, executando-se as ações semânticas em uma ordem de caminhamento em profundidade da esquerda para a direita, ou seja, durante um caminhamento em pré-ordem. Relembrando...: Pré-ordem, visitar primeiro a raiz, depois a sub-árvore esquerda e por último a sub-árvore direita. Pré-ordem: ABCDEF 49

Esquemas de tradução dirigidos pela sintaxe - SDT Durante a análise, uma ação no corpo de uma produção é executada assim que todos os símbolos da gramatica à esquerda da ação tiverem sido casados. A implementação SDD é muito mais simples quando podemos analisar a gramática de baixo para cima e a SDD é S-atribuída. Assim, é possível construir um SDT, em que cada ação seja colocada no fim da produção e executada juntamente com a redução do corpo para a cabeça dessa produção. SDTs com todas as ações nos extremos direitos do corpo de produção são chamados de SDTs pós-fixados. 52

Esquemas de tradução dirigidos pela sintaxe - SDT O SDT pós-fixado abaixo (direita) implementa a SDD de uma calculadora de mesa (esquerda), com uma mudança: a ação para a primeira produção imprime um valor. Produção Regras semânticas 1) L E n L.val = E.val 2) E E 1 + T E.val = E 1.val + T.val 3) E T E.val = T.val 4) T T 1 * F T.val = T 1.val * F.val 5) T F T.val = F.val 6) F ( E ) F.val = E.val 7) F digit F.val = digit.lexval Produção Ações semânticas 1) L E n { print(e.val) } 2) E E 1 + T { E.val = E 1.val + T.val } 3) E T { E.val = T.val } 4) T T 1 * F { T.val = T 1.val * F.val } 5) T F { T.val = F.val } 6) F ( E ) { F.val = E.val } 7) F digit { F.val = digit.lexval } 53

Esquemas de tradução dirigidos pela sintaxe - SDT As ações restantes são contrapartes exatas das regras semânticas. Como a gramatica subjacente é LR, e a SDD é S-atribuída, essas ações podem ser realizadas corretamente, juntamente com os passos de redução do analisador sintático. Produção Regras semânticas 1) L E n L.val = E.val 2) E E 1 + T E.val = E 1.val + T.val 3) E T E.val = T.val 4) T T 1 * F T.val = T 1.val * F.val 5) T F T.val = F.val 6) F ( E ) F.val = E.val 7) F digit F.val = digit.lexval Produção Ações semânticas 1) L E n { print(e.val) } 2) E E 1 + T { E.val = E 1.val + T.val } 3) E T { E.val = T.val } 4) T T 1 * F { T.val = T 1.val * F.val } 5) T F { T.val = F.val } 6) F ( E ) { F.val = E.val } 7) F digit { F.val = digit.lexval } 54

Esquemas de tradução dirigidos pela sintaxe - SDT SDTs com ações inseridas nas produções Uma ação pode ser colocada em qualquer posição dentro do corpo de uma produção. Ela é executada imediatamente após todos os símbolos à sua esquerda serem processados. Assim, se tivermos uma produção B X {a} Y, a ação a é feita depois de termos reconhecido X (se X for um terminal) ou todos terminais derivados de X (se X for um não-terminal). 55

Esquemas de tradução dirigidos pela sintaxe - SDT SDTs com ações inseridas nas produções Mais precisamente: Se a análise for de baixo para cima, então efetuamos a ação a assim essa ocorrência de X aparecer no topo da pilha sintática. Se a análise for de cima para baixo, efetuamos ação a logo antes de tentar expandir essa ocorrência de Y (se Y for um não terminal), ou verificamos Y na entrada (se Y for um terminal). SDTs que podem ser implementados durante a análise sintática incluem os SDTs pós-fixados e uma classe especial, que implementam definições L-atribuídas. Nem todos os SDTs podem ser implementados durante o reconhecimento sintático. 56

Esquemas de tradução dirigidos pela sintaxe - SDT Exemplo: como um exemplo extremo de um SDT problemático, suponha que transformemos nosso exemplo da calculadora de mesa em um SDT que imprime a forma prefixada, em vez de avaliá-la. Produção Regras semânticas 1) L E n L.val = E.val 2) E E 1 + T E.val = E 1.val + T.val 3) E T E.val = T.val 4) T T 1 * F T.val = T 1.val * F.val 5) T F T.val = F.val 6) F ( E ) F.val = E.val 7) F digit F.val = digit.lexval 1) L E n 2) E { print( + ); } E 1 + T 3) E T 4) T { print( * ); } T 1 * F 5) T F 6) F ( E ) 7) F digit { print(digit.lexval); } 57

Esquemas de tradução dirigidos pela sintaxe - SDT Produções e ações 1) L E n 2) E { print( + ); } E 1 + T 3) E T 4) T { print( * ); } T 1 * F 5) T F Infelizmente, é impossível implementar esse SDT durante o reconhecimento sintático ascendente ou descendente, 6) F ( E ) 7) F digit { print(digit.lexval); } pois o analisador sintático teria de realizar ações precipitadas, como imprimir instâncias de * ou +, muito antes de saber se esses símbolos aparecerão em sua entrada. 58

Esquemas de tradução dirigidos pela sintaxe - SDT SDTs com ações inseridas nas produções Qualquer SDT pode ser implementado da seguinte forma: 1. Ignorando as ações, analise a entrada e produza como resultado uma árvore de derivação. 2. Em seguida, examine cada nó interior N, digamos, um para a produção A α. Inclua filhos adicionais a N para as ações em α. De modo que os filhos de N da esquerda p/ a direita tenham exatamente os símbolos ações de α. 3. Faça um caminhamento pré-ordem na árvore e, assim que um nó rotulado por uma ação for visitado, efetue essa ação. 59

Esquemas de tradução dirigidos pela sintaxe - SDT SDTs com ações inseridas nas produções L E n { print( + ); } E + T A figura mostra a árvore de derivação para a expressão: 3 * 5 + 4, com ações inseridas. Se visitarmos os nós em pré-ordem, obteremos a forma prefixada da expressão: + * 3 5 4. { print( * ); } T * F F digit { print(4); } digit { print(5); } digit { print(3); } 60

Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Obrigado!! Prof. geovanegriesang@unisc.br