Introdução Análise Sintática Descendente Análise Sintática Ascendente. Aula Prática. Fernando Antônio Asevedo Nóbrega

Transcrição

1 Análise Sintática Aula Prática Fernando Antônio Asevedo Nóbrega Instituto de Ciências Matemáticas e de Computação USP SCC-206 Introdução à Compilação 9 de maio de / 16

2 Agenda 1 Introdução 2 Análise Sintática Descendente ASD com Retrocesso ASD Preditiva 3 Análise Sintática Ascendente Precedência de Operadores Analisadores LR 2 / 16

3 Introdução Gramática abordada L L,S S 3 / 16

4 Análise Sintática Descendente (ASD) Por que é chamada assim? 4 / 16

5 Análise Sintática Descendente (ASD) Por que é chamada assim? Abordagem top-down Das regras de produção (ñ terminais) se chega aos terminais 4 / 16

6 ASD com Retrocesso Como é realizada? Reconhecer a cadeia: (a, (a, a)) L L,S S 5 / 16

7 ASD com Retrocesso Como é realizada? Reconhecer a cadeia: (a, (a, a)) L L,S S 5 / 16

8 ASD com Retrocesso Como é realizada? Reconhecer a cadeia: (a, (a, a)) L L,S S Isso, não funciona. Por quê? 5 / 16

9 ASD com Retrocesso Como é realizada? Reconhecer a cadeia: (a, (a, a)) L L,S S Isso, não funciona. Por quê? Recursividade esquerda Sem recursividade esquerda L S,L S 5 / 16

10 ASD Preditiva O que a diferencia da ASD com Retrocesso? L L,S S A gramática é LL(1)? 6 / 16

11 ASD Preditiva O que a diferencia da ASD com Retrocesso? L L,S S A gramática é LL(1)? 6 / 16

12 ASD Preditiva O que a diferencia da ASD com Retrocesso? L L,S S A gramática é LL(1)? L SL L,SL λ 6 / 16

13 ASD Preditiva O que a diferencia da ASD com Retrocesso? L L,S S A gramática é LL(1)? L SL L,SL λ E se fosse LL(2), o que mudaria? 6 / 16

14 Primeiro e Seguidor L SL L,SL λ 7 / 16

15 Primeiro e Seguidor L SL L,SL λ Conjunto Primeiro P(S) = { ( a} P(L) = P(S) = { ( a} P(L ) = {, λ } Conjunto Seguidor S(S) = {$} + P(L ) + S(L ) a = { $, λ )} S(L) = { ) } S(L ) = S(L) + S(L ) = { ) } a Pois L pode gerar λ 7 / 16

16 Tabela Sintática 8 / 16

17 Tabela Sintática ( ) a $, λ S S (L) S a L L SL L SL L L λ L,SL L λ 8 / 16

18 Análise de Precedência de Operadores Mais usual para gramática de expressões matemáticas Tipo de Gramática Não há símbolos não terminais adjacentes Não há produções que derivam a cadeia nula 9 / 16

19 Análise de Precedência de Operadores Vamos usar essa gramatica? L SL L,SL λ Gramática correta L L,S S 10 / 16

20 Análise de Precedência de Operadores Vamos usar essa gramatica? L SL L,SL λ Não, por quê? Gramática correta L L,S S 10 / 16

21 Tabela de Precedência de Operadores a ( ), $ a > > > ( < < = < ) > > >, < < > > $ < < 11 / 16

22 Analisadores LR Mais poderosos Analisadores em formato de autômatos Por que são chamados assim? Da esquerda para a direita, derivação mais a direita 12 / 16

23 Analisadores LR Mais poderosos Analisadores em formato de autômatos Por que são chamados assim? Da esquerda para a direita, derivação mais a direita 12 / 16

24 Simple LR (SLR) Funciona com base no uso de uma tabela SLR A tabela SLR é construída pelo conjunto canônico LR(0) Algoritmo do ponto Construir o conjunto canônico para: L L,S L S 13 / 16

25 Simple LR (SLR) Funciona com base no uso de uma tabela SLR A tabela SLR é construída pelo conjunto canônico LR(0) Algoritmo do ponto Construir o conjunto canônico para: L L,S L S 13 / 16

26 Conjunto Canônico 0 S ->.S S ->.a S->.(L) S a ( ( 1 2 S -> S. S -> a. a ( 3 4 S -> (.L) L ->.L,S L L ->.S S ->.a S ->.(L) S 5 a 7 L -> L,.S S - >.a S ->.(L), S -> (L.) L -> L.,S L -> S. S ) 8 6 L -> L,S. S -> (L). 14 / 16

27 Algoritmo da Tabela SLR 1 Cria-se uma regra auxiliar que gera o estado inicial 2 Enumera-se as regras de produção, inclusive a regra auxiliar 3 Calcula-se os seguidores para todo não terminal 4 Calcula-se o conjunto fechamento para todas as regras (Algoritmo do ponto) 5 Preencher a tabela (tem-se que n(β) é a numeração da regra): Se I i com um terminal α gera um estado I j, preenche-se com sj a linha i coluna α Se I i com uma regra β gera um novo estado I j, preenche com j a linha i coluna β Se I i consome uma regra β (o ponto chega ao final), preenche-se com rn(β) na linha i e colunas dos seguidores de β 15 / 16

28 Tabela SLR Estados a ( ), $ S L 0 s2 s3 1 1 OK 2 r1 r2 r3 3 s2 s s6 s7 5 r4 r4 6 r2 r2 r2 7 s2 s3 8 8 r3 r3 16 / 16