Revisão. Fases da dacompilação

Transcrição

1 1 Revisão Prof. Julio Arakaki Julio Arakaki 1 Fases da dacompilação Código fonte Análise Léxica tokens e lexemas Análise Sintática Árvore Sintática Abstrata (ASA) Análise Semântica ASA decorada Geração de Código Código de Máquina Julio Arakaki 2

2 2 Análise Léxica Traduz o arquivo fonte em lexemas e tokens if (n == 0) { return 1; } else {... } if intlit "0" LPAR RPAR id "n" LCUR Q return intlit "1" semi RCUR else... Julio Arakaki 3 Análise Léxica xpressões regulares (implementadas como Autômatos Finitos) a-z a-z xemplos: 1 2 ID if [a-z][a-z0-9]* IF ID 0-9 i f IF Julio Arakaki 4

3 3 Análise Sintática Verifica se uma sentença faz parte da gramática da linguagem ntrada: lexemas e tokens gerados pelo analisador léxico int y = 10,k = 10; int x = y+++k; A construção é válida? Julio Arakaki 5 S S ; S S id := S print (L) id num + (S, ) L L L, Gramática Terminais: id print, + ; := ( ) Não terminas: S L Símbolo inicial: S é utilizado na notação de produções A cadeia seguinte pertence à gramática? a := 7; b := c + (d := 5 + 6, d) Julio Arakaki 6

4 4 S S ; S S ; id := id := ; id := id := num ; id := id := num ; id := + Gramática --derivações id := num ; id := + (S, ) id := num ; id := id + (S, ) id := num ; id := id + (id :=, ) id := num ; id := id + (id := +, ) id := num ; id := id + (id := +, id) id := num ; id := id + (id := num +, id) a := 7; b := c + (d := 5 + 6, d) id := num ; id := id + (id := num + num, id) Julio Arakaki 7 Gramática -- parse tree S S id := ; id S := num + id ( S, ) Na prática não é implementada pelos compiladores id := + id num num Julio Arakaki 8

5 5 Parser LL(1) LL(1) - Left-to-right, leftmost-derivation, 1-symbol lookahead Left-to-right direção na qual os símbolos serão examinados Leftmost-derivation ordem pela qual os símbolos não-terminais serão expandidos 1-symbol lookahead não mais que um símbolo será avaliado por vez Gramáticas LL(1) são vulneráveis às entradas duplicadas: + T T O fato de aparecer no início do lado direito da produção é a causa do problema. Isso é conhecido como Recursão à squerda. Para corrigir isso, vamos refatora-se a gramática, com Recursão à Direita: T +T Ɛ Julio Arakaki 9 Parser LR(k) As fraquezas de LL(k) são superadas pela técnica LR(k) LR(1) - Left-to-right, rightmost-derivation, 1-symbol lookahead Uso de uma pilha para armazenar símbolos de forma temporária Possui duas operações, carrega e reduz carrega: move o primeiro símbolo para o topo da pilha reduz: escolhe uma regra da gramática do tipo X A B C e coloca na pilha. Julio Arakaki 10

6 6 Seja a gramática: A (A) a xemplo LR(0) Ref: Louden, K. C. princípios e práticas Julio Arakaki 11 Seja a gramática: A (A) a xemplo LR(0) Ref: Louden, K. C. princípios e práticas Julio Arakaki 12

7 7 SLR(1): LR(1) Simples Parser SLR(1) Aumenta o poder de análise de LR(0) Utiliza o DFA de conjunto de itens LR(0). Utiliza a marca seguinte para dirigir suas ações: - Consulta a marca antes de carregar (garante uma transição apropriada no DFA). - Utiliza o conjunto Seguidor ( follow ) de um não-terminal para decidir se uma redução será efetuada. xemplo dado em Aula: S I outra I if S if S else S Julio Arakaki 13 Parser LR(1) Permite descrever a maioria das linguagens de programação. Aumenta o poder de análise de SLR(1): ajuda a resolver os conflitos (carrega-reduz e reduz-reduz). Utiliza o DFA de conjunto de itens LR(1). Incluem uma marca de verificação a frente: [A α.β, a] Onde A α.β é um item LR(0) e a é uma marca (para verificação à frente) Julio Arakaki 14

8 8 Seja a gramática: xemplo LR(1) A (A) a Ref: Louden, K. C. princípios e práticas Julio Arakaki 15 Look Ahead LR(1) Parser LALR(1) Aumenta o poder de análise de LR(1). Diminui o DFA e a tabela de parsing. Utiliza o DFA de conjunto de itens LALR(1). Incluem múltiplas marcas de verificação a frente: [A α.β, a/b/c] Onde A α.β é um item LR(0) e a, b e c são marcas (para verificação à frente) Julio Arakaki 16

9 9 Seja a gramática: xemplo LALR(1) A (A) a Ref: Louden, K. C. princípios e práticas Julio Arakaki 17