Análise Sintática LL(1)

Transcrição

1 FACULDADE ANGLO AMERICANO FOZ DO IGUAÇU Curso de Ciência da Computação 7º Periodo Disciplina: Compiladores Prof. Erinaldo Sanches Nascimento Análise Sintática LL(1) Análise Sintática Descendente

2 Introdução Os analisadores sintáticos preditivos podem ser construídos para uma classe de gramática chamada LL(1). L (Left-to-right) significa que a cadeia de entrada é escandida da esquerda para a direita. L (Leftmost) representa uma derivação mais à esquerda 1 pelo uso de um símbolo à frente na entrada utilizando um cada passo para tomar as decisões quanto à ação de análise. 2

3 Definição Uma gramática G é LL(1) se e somente se, sempre que A forem duas produções distintas de G, as seguintes condições forem verdadeiras: 1. Para um terminal a, tanto quanto não derivam cadeias començando com a. 2. No máximo um dos dois, ou, pode derivar a cadeia vazia. 3. Se *, então não deriva nenhuma cadeia começando com um terminal em FOLLOW(A). De modo semelhante se *, então não deriva qualquer cadeia começando com um terminal FOLLOW(A). 3

4 Método Básico Utiliza uma pilha explícita Facilita e agiliza a visualização as ações do analisador sintático LL(1) 4

5 Exemplo Gramática que gera cadeias de parênteses balanceados: S ( S ) S Pilha de análise sintática Entrada Ação 1 $S ( ) $ S ( S ) S 2 $ S) S ( ( ) $ casamento 3 $ S ) S ) $ S 4 $ S ) ) $ casamento 5 $ S $ S 6 $ $ aceita 5

6 Lista de Ações S ( S ) S [S ( S ) S] ( ) S [S ] ( ) [S ] 6

7 Tabela Quatro colunas: 1) Enumera os passos. 2) Mostra o conteúdo da pilha de análise sintática. O final da pilha à esquerda. O topo da pilha à direita. 3) Mostra a entrada da esquerda para a direita. 4) Apresenta uma descrição resumida da ação. 7

8 Analisador Descendente Coloca o símbolo de início na pilha. Substitui um não-terminal no topo da pilha por uma de suas escolhas na regra gramatical a) Substituir um não-terminal A no topo da pilha por uma cadeia com base na escolha da regra gramatica A ; b) Casar uma marca no topo da pilha com a marca de entrada seguinte Aceita uma cadeia de entrada se, após uma série de ações, a pilha e a entrada ficarem vazias. 8

9 Árvore de Análise Sintática Construir nós à medida que cada terminal ou não-terminal é colocado na pilha. O nó-raiz é construído no começo da análise sintática. Os nós de cada um dos símbolos de substituição são construidos à medida que os símbolo são colocados na pilha e são concatenados como filhos do nó de S que eles substituem na pilha. Modifique a pilha de forma a conter apontadores para os nós construidos, em vez de conter só os terminais e não-terminais. 9

10 Tabela de Reconhecimento Sintático Preditivo M[A, a], um arranjo bidimensional A é um não-terminal a é um terminal ou símbolo $ (marcador de fim de entrada) Entrada: gramática G. Saída: tabela de análise M. Método: para cada produção A gramática faça o seguinte: da 10

11 Algoritmo 1. Para cada terminal a em FIRST(A), inclua A em M[A, a]. 2. Se pertence a FIRST( ), inclua A em M[A,b] para cada terminal b em FOLLOW(A). Se pertence a FIRST( ) e $ pertence a FOLLOW(A), acrescente também A em M[A,$]. Se, depois de realizar esses passos, não houver produção alguma em M[A, a], então defina M[A, a] como error. 11

12 Complemento do Algoritmo Uma gramática é LL(1) se a tabela de análise sintática LL(1) associada tiver no máximo uma produção em cada célula. Uma gramática LL(1) não pode ser ambigua 12

13 Exercício 1 Considere a gramática simplificada de declarações if: declaracao if-decl outra if-decl if (exp) declaracao else-parte else-parte else declaracao exp 0 1 Dada a cadeia if (0) if (1) outra else outra Representa a tabela que mostre as ações do algortimo de análise sintática LL(1). 13

14 Exercício 2 Considere a gramática de expressões reduzidas: E n E E + n E Efetue a computação do valor da expressão mostrando as ações do analisador sintático na tabela. 14

15 Exercício 3 Utilize uma pilha S para executar a verificaçao de grupos de parênteses em expressões aritméticas com uma varredura simples da esquerda para direita. Cada vez que se encontra uma símbolo de abertura insere-se o símbolo na pilha e cada vez que se encontra uma símbolo de fechamento retira-se o símbolo do topo da pilha S (assumindo-se que a pilha não está vazia). Se a pilha estiver vazia após ter sido processada toda a sequência, então os símbolos em X casam. 15

16 16