Compiladores Aula 6. Celso Olivete Júnior.
|
|
|
- Fernanda de Almeida de Vieira
- 6 Há anos
- Visualizações:
Transcrição
1 Aula 6 Celso Olivete Júnior olivete@fct.unesp.br
2 Na aula passada Analisadores Sintáticos Descendentes ASD com retrocesso ASD preditivo recursivo não-recursivo 2
3 ASD Preditivo Recursivo Projeto Parte 2 Construa os grafos sintáticos (em número reduzido) e os procedimentos recursivos para declaração de variáveis em LALG <E> ::= <T><E > <E >::= +<E> ε <T> ::= a b E + a b 3
4 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis LALG - EBNF 5. <parte de declarações de variáveis> ::= var<declaração de variáveis> {;<declaração de variáveis>}; 6. <declaração de variáveis>::= <lista de identificadores> :<tipo> 7.<lista de identificadores> ::= <identificador> {,<identificador>} 26.<dígito> ::= <identificador> ::= <letra> {<letra> <dígito>} 28.<letra> ::= _ a...z A B... Z 4
5 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra 5 Representa a operação de fechamento 5. <parte de declarações de variáveis> ::= var<declaração de variáveis> {;<declaração de variáveis>}; var declaração de variáveis ; 5
6 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra 6 6. <declaração de variáveis>::= <lista de identificadores> :<tipo> lista de identificadores : tipo 6
7 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra 7 7.<lista de identificadores> ::= <identificador> {,<identificador>} identificador, 7
8 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra <dígito> ::=
9 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra <identificador> ::= <letra> {<letra> <dígito>} letra letra dígito 9
10 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra <letra> ::= _ a...z A B... Z _ a-z A-Z 10
11 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Unindo as regras 6 e 7 6. <declaração de variáveis>::= <lista de identificadores> :<tipo> 7.<lista de identificadores> ::= <identificador> {,<identificador>} identificador : tipo, 11
12 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Unindo as regras 5, 6 e 7 5. <parte de declarações de variáveis> ::= var<declaração de variáveis> {;<declaração de variáveis>}; 6. <declaração de variáveis>::= <lista de identificadores> :<tipo> 7.<lista de identificadores> ::= <identificador> {,<identificador>} var identificador : tipo ;, 12
13 ASD Preditivo Recursivo Grafos sintáticos declaração de variáveis Regra <tipo> <tipo>::= integer real string integer real string 13
14 Analisador sintático descendente <dc_v> ::= var algoritmo <variaveis> : <tipo_var> do procedimento ; <dc_v> ε ERRO procedimento dc_v(s) begin end; se (simb=var) então obter_símbolo() senão imprimir( Erro: var esperado ); ERRO(Primeiro(variaveis)+S); //consome até encontrar ID variaveis({:}+s); se (simb=simb_dp) então obter_símbolo() senão imprimir( Erro: : esperado ); Conjunto sincronizador {, ; real integer} ERRO(Primeiro(tipo_var)+S); //consome até encontrar integer ou real tipo_var({;}+s); se (simb=simb_pv) então obter_símbolo() senão dc_v(s); imprimir( Erro: ; esperado ); ERRO(Primeiro(dc_v)+S); //consome até encontrar ; <DC_V> ::= var <VARIAVEIS> : <TIPO_VAR> ; <DC_V> ε <TIPO_VAR> ::= integer real <VARIAVEIS> ::= <ID> <MAIS_VAR> <MAIS_VAR> ::=, <VARIAVEIS> ε 14
15 Na aula de hoje Analisadores Sintáticos Descendentes ASD com retrocesso ASD preditivo recursivo não-recursivo 15
16 Análise Sintática Preditiva Não-Recursiva Não necessitam de retrocesso O símbolo da cadeia de entrada, em análise, é suficiente para determinar qual regra de produção deve ser escolhida São construídos utilizando gramáticas LL(1) Cadeia de entrada é analisada da esquerda para a direita (Left-toright) A derivação das produções é feita mais a esquerda (Leftmost) A cada passo é observado um (1) símbolo a frente para determinar que ação deve ser tomada 16
17 Análise Sintática Preditiva Não-Recursiva Condições: Eliminar recursividade à esquerda Fatorar a gramática Construir os conjuntos First e Follow Permitem escolher qual produção deve ser aplicada baseada no próximo símbolo de entrada 17
18 Reconhecedor sintático preditivo não-recursivo estrutura Umbuffer de entrada $ indica o fim da cadeia de entrada Umfluxo de saída Umapilha cujo fundo é marcado por $ Inicializada com o símbolo de início da gramática Uma tabela sintática preditiva Pilha de símbolos gramaticais finalizada por $. a + b $ Entrada Ponteiro ip Buffer de entrada finalizado por $. Onde a é o símbolo apontado por ip. X Y Z $ Analisador Sintático Preditivo Não-Recursivo Saída Array bidimensional que organiza os não-terminais e suas produções. Tabela Sintática M Uma derivação da entrada ou indicação de erro. 18
19 Reconhecedor sintático preditivo funcionamento do parser Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1. Se X = $ e a = $ finaliza e reconhece a entrada. 2. Se X = a e!= $ desempilha X e avança de um símbolo na entrada. 3. Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Se contém X ::= UVW, então substitui na pilha X por UVW (U no topo). Pilha de símbolos gramaticais finalizada por $. a + b $ Entrada Ponteiro ip Buffer de entrada finalizado por $. Onde a é o símbolo apontado por ip. X Y Z $ Analisador Sintático Preditivo Não-Recursivo Saída Array bidimensional que organiza os não-terminais e suas produções. Tabela Sintática M Uma derivação da entrada ou indicação de erro. 19
20 Exemplo 1: Construção da tabela preditiva M(X,t) Tabela bi-dimensional Dimensão 1: não-terminal X Dimensão 2: símbolo de entrada(terminal) t A entrada (X,t) contém a regra da produção a aplicar obtida a partir dos conjuntos Primeiro e Seguinte Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO S caa A cb B B bcb ε First(A) = {b, c, ε} First(B) = {b, ε} First(S) = {c} Follow(A) = {a} Follow(B) = First(B) -ε= {a} Follow(S) = {$} 20
21 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a e!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ Topo da pilha S Simb. entrada a S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 21
22 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa Ação 3 S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 22
23 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 23
24 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 24
25 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 25
26 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB bcba$ bca$ Casar b S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 26
27 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB bcba$ bca$ Casar b cba$ ca$ Casar c S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 27
28 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB bcba$ bca$ Casar b cba$ ca$ Casar c Ba$ a$ Bε S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 28
29 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB bcba$ bca$ Casar b cba$ ca$ Casar c Ba$ a$ Bε a$ a$ Casar a S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 29
30 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: cbca Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ cbca$ ScAa caa$ cbca$ Casar c Aa$ bca$ AB Ba$ bca$ BbcB bcba$ bca$ Casar b cba$ ca$ Casar c Ba$ a$ Bε a$ a$ Casar a $ $ aceitou S caa A cb B B bcb ε Não Terminal Símbolo de Entrada a b c S ERRO ERRO ScAa A A B AB A cb B B ε B bcb ERRO 30
31 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ 01012$ <S> ::= 0<A> 1<B> <A> ::= 1<B> 2 <B> ::= 0<A> 2 Não Terminal Símbolo de Entrada S <S> ::= 0<A> <S> ::= 1<B> ERRO A ERRO <A> ::= 1<B> <A> ::= 2 B <B> ::= 0<A> ERRO <B> ::= 2 31
32 Seja X o símbolo no topo da pilha Seja a o símbolo de entrada (que é terminal) a analisar 1.Se X = $ e a = $ finaliza e reconhece a entrada. 2.Se X = a!= $ desempilha X e avança de um símbolo na entrada. Entrada: Usando a tabela de análise Se contém X ::= UVW, sintática então substitui na pilha X por UVW (U no topo). 3.Se X é não-terminal: Consulta a tabela M(X, a) Se for vazia: ERRO Pilha Entrada Ação S$ 01012$ <S> ::= 0<A> 0<A>$ 01012$ Casar 0 <A>$ 1012$ <A> ::= 1<B> 1<B> $ 1012$ Casar 1 <B> $ 012$ <B> ::= 0<A> 0<A>$ 012$ Casar 0 <A>$ 12$ <A> ::= 1<B> 1<B> $ 12$ Casar 1 <B> $ 2$ <B> ::= 2 2$ 2$ Casar 2 $ $ ACEITA <S> ::= 0<A> 1<B> <A> ::= 1<B> 2 <B> ::= 0<A> 2 Não Terminal Símbolo de Entrada S <S> ::= 0<A> <S> ::= 1<B> ERRO A ERRO <A> ::= 1<B> <A> ::= 2 B <B> ::= 0<A> ERRO <B> ::= 2 32
33 Tabelas Sintáticas Preditivas O funcionamento dos analisadores sintáticos preditivos não-recursivos é dependente de tabelas sintáticas preditivas Como construí-las? 33
34 Tabelas Sintáticas Preditivas NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE E TE E E +TE E ε E ε T T TF T TF T T ε T *FT T ε T ε F F id T (E) 34
35 Tabelas Sintáticas Preditivas A construção de tais tabelas é realizada através de algumas funções associadas a gramática a ser analisada: PRIMEIRO e SEGUINTE. Ideia: permitem escolher qual produção aplicar com base no próximo símbolo lido. Durante a recuperação de erro conjunto de tokens produzidos por SEGUINTE podem ser usados como tokens de sincronismo. 35
36 Construção de Tabelas Sintáticas Preditivas A ideia central é para uma dada produção A: 1. se o símbolo corrente da entrada é a, a expansão da gramática seja dirigida para A α dado que PRIMEIRO(α)={a} 2. Se α=ε ou αε a expansão se dá através de SEGUINTE(α). 36
37 Construção de Tabelas Sintáticas Preditivas Para cada produção A α da gramática repita os passos abaixo: 1. Paracada terminalaem PRIMEIRO(α), adicione A α a M[A,a] 2. Se ε estiver em PRIMEIRO(α), adicione A α a M[A, b] para cada terminal b que estiver em SEGUINTE(A). 3. Cada entrada indefinida de M corresponde a uma situação de erro. 37
38 Tabela Sintática Preditiva PRIM(E)=PRIM(T)=PRIM(F)={(, id} PRIM(E )={+, ε} PRIM(T )={*, ε} SEG(E)= SEG(E )= {$, )} SEG(T)=SEG(T )= {$, +, )} SEG(F)={$, *, +, )} E TE E +TE ε T FT T *FT ε F (E) id NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE E TE E E +TE E ε E ε T T F Para cada produção A α da gramática repita os passos abaixo: 1. Para cada terminalaemprimeiro(α), adicione A α a M[A,a] 2. Se ε estiver em PRIMEIRO(α), adicione A α a M[A, b] para cada terminal b que estiver em SEGUINTE(A). 38
39 Tabela Sintática Preditiva PRIM(E)=PRIM(T)=PRIM(F)={(, id} PRIM(E )={+, ε} PRIM(T )={*, ε} SEG(E)= SEG(E )= {$, )} SEG(T)=SEG(T )= {$, +, )} SEG(F)={$, *, +, )} E TE E +TE ε T FT T *FT ε F (E) id NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE E TE Para cada produção A α da gramática repita os passos abaixo: 1. Para cada terminalaemprimeiro(α), adicione A α a M[A,a] 2. Se ε estiver em PRIMEIRO(α), adicione A α a M[A, b] para cada E E +TE E ε E ε terminal b que estiver em SEGUINTE(A). T T FT T FT T F 39
40 Tabela Sintática Preditiva PRIM(E)=PRIM(T)=PRIM(F)={(, id} PRIM(E )={+, ε} PRIM(T )={*, ε} SEG(E)= SEG(E )= {$, )} SEG(T)=SEG(T )= {$, +, )} SEG(F)={$, *, +, )} E TE E +TE ε T FT T *FT ε F (E) id NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE E TE Para cada produção A α da gramática repita os passos abaixo: 1. Para cada terminalaemprimeiro(α), adicione A α a M[A,a] 2. Se ε estiver em PRIMEIRO(α), adicione A α a M[A, b] para cada E E +TE E ε E ε terminal b que estiver em SEGUINTE(A). T T FT T FT T T ε T *FT T ε T ε F F id F (E) 40
41 Funcionamento do analisador preditivo Casar Pilha Entrada (w) Ação E TE E +TE ε T FT T *FT ε F (E) id E$ id+ id$ Reconheça a entrada id+id NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE erro erro E TE erro erro E erro E +TE erro erro E ε E ε T T FT erro erro T FT erro erro T erro T ε T *FT erro T ε T ε F F id erro erro F (E) erro erro 41
42 Funcionamento do analisador preditivo Casar Pilha Entrada (w) Ação E$ id+ id$ E TE E TE E +TE ε T FT T *FT ε F (E) id TE $ id+ id$ NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE erro erro E TE erro erro E erro E +TE erro erro E ε E ε T T FT erro erro T FT erro erro T erro T ε T *FT erro T ε T ε F F id erro erro F (E) erro erro 42
43 Funcionamento do analisador preditivo Casar Pilha Entrada (w) Ação E$ id+ id$ E TE E TE E +TE ε T FT T *FT ε F (E) id TE $ FT E $ id+ id$ T FT id + id$ NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE erro erro E TE erro erro E erro E +TE erro erro E ε E ε T T FT erro erro T FT erro erro T erro T ε T *FT erro T ε T ε F F id erro erro F (E) erro erro 43
44 Funcionamento do analisador preditivo Casar Pilha Entrada (w) Ação E$ id+ id$ E TE E TE E +TE ε T FT T *FT ε F (E) id TE $ FT E $ idt E $ id+ id$ T FT id+ id$ F id id + id$ NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE erro erro E TE erro erro E erro E +TE erro erro E ε E ε T T FT erro erro T FT erro erro T erro T ε T *FT erro T ε T ε F F id erro erro F (E) erro erro 44
45 Funcionamento do analisador preditivo Casar Pilha Entrada (w) Ação E$ id+ id$ E TE E TE E +TE ε T FT T *FT ε F (E) id TE $ FT E $ idt E $ id+ id$ T FT id+ id$ F id id+ id$ Casarid id T E $ + id$ NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ E E TE erro erro E TE erro erro E erro E +TE erro erro E ε E ε T T FT erro erro T FT erro erro T erro T ε T *FT erro T ε T ε F F id erro erro F (E) erro erro 45
46 NÃO- TERMINAL Símbolo de Entrada id + * ( ) $ Funcionamento do analisador preditivo E E TE erro erro E TE erro erro Casamento Pilha Entrada (w) Ação E erro E +TE erro erro E ε E ε E$ id+ id$ T T FT erro erro T FT erro erro TE $ id+ id$ ImprimaE TE T erro T ε T *FT erro T ε T ε FT E $ id+ id$ ImprimaT FT F F id erro idt E $ erro F (E) id+ id$ ImprimaF erro erro id E TE E +TE ε T FT T *FT ε F (E) id id T E $ + id$ T ε id E $ + id$ 46
47 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ 47
48 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ 48
49 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ 49
50 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ 50
51 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ Casar id id + id T E $ $ 51
52 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ Casar id id + id T E $ $ T ε id + id E $ $ 52
53 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ Casar id id + id T E $ $ T ε id + id E $ $ E ε id + id $ $ 53
54 NÃO- Símbolo de Entrada Funcionamento TERMINAL do analisador preditivo id + * ( ) $ Casamento Pilha Entrada (w) Ação E E TE erro erro E TE erro erro E erro E +TE E$ erro id+ erro id$ E ε E ε E TE E +TE ε T FT T *FT ε F (E) id T T FT TE $ erro erro id+ T id$ FT ImprimaE TE erro erro T erro FT E $ id+ id$ ImprimaT FT T ε T *FT erro T ε T ε idt E $ id+ id$ ImprimaF id F F id erro erro F (E) erro erro id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ Casar id id + id T E $ $ T ε id + id E $ $ E ε id + id $ $ Reconheceu! 54
55 Funcionamento do analisador preditivo Casamento Pilha Entrada (w) Ação E$ id+ id$ E TE E TE E +TE ε T FT T *FT ε F (E) id TE $ FT E $ idt E $ id+ id$ T FT id+ id$ F id id+ id$ Casarid id T E $ + id$ T ε id E $ + id$ E +TE id +TE $ + id$ Casar + id + TE $ id$ T FT id + FT E $ id$ F id id + idt E $ id$ Casar id id + id T E $ $ T ε id + id E $ $ E ε id + id $ $ Reconheceu! 55
56 Código para o analisador sintático preditivo LL(1) baseado em tabela E TE E +TE T FT T *FT F (E) id 1. while ((topo da pilha for <> $) and (próximo símbolo for <> $)) do 2. if (topo da pilha for o terminal a) and (próximo símbolo de entrada for = a) 3. then (casar) 4. retira da pilha; 5. avança entrada; 6. else if (topo da pilha for um não-terminal A) 7. and (próximo símbolo de entrada for terminal a) 8. and (célula da tabela M[A,a] conter a produção AX 1 X 2...X n ) 9. then(gera) 10. retira da pilha; 11. for i:= n downto1 do 12. coloca Xi na pilha; 13. else erro; 14. if (topo da pilha for = $) and (marca SEGUINTE na entrada for = $) 15. then aceita; 16. else erro; 56
57 Jflap: construção da gramática É possível gerar uma gramática, neste exemplo LL, a partir do JFlap E TE E +TE ε T FT T *FT ε F (E) id E neste caso foi substituído por D E por C T por U 57
58 Jflap: geração da tabela de análise a partir da gramática LL 58
59 Jflap: geração da tabela de análise a partir da gramática LL Clique em parse para simular 59
60 Jflap: geração da tabela de análise a partir da gramática LL Visualização ASD (descendente) ASA (ascendente) Tabela 60
61 Jflap: geração da tabela de análise a partir da gramática LL Entrada de dados Entrada restante... Comportamento da pilha Símbolo inicial da gramática 61
62 Jflap: geração da tabela de análise a partir da gramática LL Entrada de dados Entrada restante... Comportamento da pilha Simulação intermediária 62
63 Jflap: geração da tabela de análise a partir da gramática LL Entrada de dados Entrada vazia $ Pilha vazia Entrada reconhecida 63
64 Jflap: geração da tabela de análise a partir da gramática LL ASA 64
65 Jflap: geração da tabela de análise a partir da gramática LL Tabela de derivação 65
66 Exercício (1) Construa a tabela sintática para a gramática abaixo e reconheça a sentença 0aa <S> ::= 0<A> <B> <A> ::= a<a> ε <B> ::= b 66
67 Exercício (1) Construa a tabela sintática para a gramática abaixo e reconheça a sentença 0aa <S> ::= 0<A> <B> <A> ::= a<a> ε <B> ::= b 67
68 Exercício (2) Construa a tabela sintática para a gramática abaixo e reconheça a sentença 0a1 <S> ::= 0<A>1 <B> <A> ::= a<a> ε <B> ::= b 68
69 Exercício (2) Construa a tabela sintática para a gramática abaixo e reconheça a sentença 0a1 <S> ::= 0<A>1 <B> <A> ::= a<a> ε <B> ::= b 69
70 Exercício (3) Dada a gramática ambígua: S if E then S if E then S else S a E b transforme em LL(1) e : construa a tabela de análise sintática mostrem a análise da sentença If b then if b then a else a mostre o comportamento da Pilha, Entrada e Regra usada 70
71 Exercício (3) Dada a gramática ambígua: S if E then S if E then S else S a E b transforme em LL(1) <S> ::= if <E> then <S> <S > <S > ::= else <S> ε 71
72 Exercício (3) Dada a gramática ambígua: S if E then S if E then S else S a E b transformeem LL(1)e: mostrem a análise da sentença If b then if b then a else a mostre o comportamento da Pilha, Entrada e Regra usada 72
Análise Sintática II: Analisadores Descendentes Preditivos
Análise Sintática II: Analisadores Descendentes Preditivos Exercícios LL(1) = Left to right, Left-most derivation, 1 símbolo look-ahead 1. LL(1): definição 2. Para toda produção A -> α β Se β =>* λ, então
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
Análise sintática Função, interação com o compilador Análise descendente e ascendente Especificação e reconhecimento de cadeias de tokens válidas Implementação Tratamento de erros Prof. Thiago A. S. Pardo
Análise Sintática (Cap. 04) Análise Sintática Descendente
(Cap. 04) Análise Sintática Descendente Análise Sintática Análise sintática descendente Constrói a árvore de derivação de cima para baixo, da raíz para as folhas, criando os nós da árvore em pré ordem
Análise Sintática LL(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 Introdução
Compiladores. Parser LL 10/13/2008
Compiladores Fabiano Baldo Usa uma pilha explícita ao invés de chamadas recursivas para realizar a análise sintática. LL(k) parsing significa que ktokensà frente são utilizados. O primeiro L significa
Compiladores. Exemplo. Caraterísticas de Gramáticas. A αβ 1 αβ 2. A αx X β 1 β 2. Lembrando... Gramáticas Livres de Contexto
Compiladores Análise sintática (2) Análise Top-Down Lembrando... Gramáticas Livres de Contexto Análise sintática = parsing. Baseada em GLCs Gramática: S A B Top-Down Bottom-Up S AB cb ccbb ccbca S AB A
COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática
Universidade de Santa Cruz do Sul UNISC Departamento de informática COPILADORES Análise sintática Parte 03 Prof. geovanegriesang@unisc.br Analisador sem recursão Analisador sintático sem recursão pode
COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática
Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise sintática Parte 02 Prof. geovanegriesang@unisc.br Data Conteúdo 23/09/2013 3. Análise Sintática: 3.1 analisadores
Parsing Preditivo. Antes de ser abordado o Parsing Preditivo, será apresentado o Analisador Sintático Descendente Recursivo.
UPE Caruaru Sistemas de Informação Disciplina: Compiladores Prof.: Paulemir G. Campos Parsing Preditivo Antes de ser abordado o Parsing Preditivo, será apresentado o Analisador Sintático Descendente Recursivo.
Compiladores Aula 4. Celso Olivete Júnior.
Aula 4 Celso Olivete Júnior olivete@fct.unesp.br Na aula de hoje... Revisão: gramáticas Relações em uma gramática: Cabeça, Último, Primeiro (First) e Seguinte (Follow) Capítulo 4 (seção 4.4.2) do livro
Compiladores. Análise Sintática
Compiladores Análise Sintática Cristiano Lehrer, M.Sc. Introdução (1/3) A análise sintática constitui a segunda fase de um tradutor. Sua função é verificar se as construções usadas no programa estão gramaticalmente
Compiladores Analisador Sintático. Prof. Antonio Felicio Netto Ciência da Computação
Compiladores Analisador Sintático Prof. Antonio Felicio Netto antonio.felicio@anhanguera.com Ciência da Computação 1 Análise Sintática - A Análise Sintática constitui a segunda fase de um tradutor de uma
Compilação: Erros. Detecção de Erros: * Analisadores Top-Down - Preditivo Tabular (LL) - Feito a mão. * Analisadores Botton-Up: - Shift-Reduce (SLR)
Compilação: Erros Detecção de Erros: * Analisadores Top-Down - Preditivo Tabular (LL) - Feito a mão * Analisadores Botton-Up: - Shift-Reduce (SLR) * Erros no Lex * Erros no Yacc * Erros na Definição da
INE5318 Construção de Compiladores. AULA 4: Análise Sintática
INE5318 Construção de Compiladores AULA 4: Análise Sintática Ricardo Azambuja Silveira INE CTC UFSC E Mail: silveira@inf.ufsc.br URL: www.inf.ufsc.br/~silveira Definições preliminares Parser (Analisador
V Teoria de Parsing. Termos Básicos: Parser Analisador Sintático Parsing Analise Sintática Parse Representação da analise efetuada
V Teoria de Parsing Termos Básicos: Parser Analisador Sintático Parsing Analise Sintática Parse Representação da analise efetuada Ascendentes: S + x (* Seq. Invertida Reducao *) dir Exemplo: Descendentes:
V Análise Sintática. V.1.1 Gramáticas Livres de Contexto Definições de GLC
V Análise Sintática V.1 Fundamentos Teóricos V.1.1 G.L.C V.1.2 Teoria de Parsing V.2 Especificação Sintática de Ling. de Prog. V.3 - Implementação de PARSER s V.4 - Especificação Sintática da Linguagem
Compiladores Aula 12. Celso Olivete Júnior.
Aula 12 Celso Olivete Júnior olivete@fct.unesp.br Na aula de hoje Análise léxica Tabela de símbolos Análise sintática Análise semântica Geração de código intermediário Manipulação de erros Tabela de palavras
Compiladores - Análise LL(1)
Compiladores - Análise LL(1) Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Gramáticas LL(1) Uma gramática é LL(1) se toda predição pode ser feita examinando um único token à frente Muitas
LFA Aula 09. Gramáticas e Linguagens Livres de Contexto 18/01/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior.
LFA Aula 09 Gramáticas e Linguagens Livres de Contexto (Hopcroft, 2002) 18/01/2016 Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/lfa 1 Classes Gramaticais Linguagens
Compiladores - Análise LL(1)
Compiladores - Análise LL(1) Fabio Mascarenhas 2017.1 http://www.dcc.ufrj.br/~fabiom/comp Gramáticas LL(1) Uma gramática é LL(1) se toda predição pode ser feita examinando um único token à frente Muitas
Análise Sintática Descendente
Análise Sintática Descendente Uma tentativa de construir uma árvore de derivação da esquerda para a direita Cria a raiz e, a seguir, cria as subárvores filhas. Produz uma derivação mais à esquerda da sentença
Compiladores - Análise Ascendente
Compiladores - Análise Ascendente Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Análise Descendente vs. Ascendente As técnicas de análise que vimos até agora (recursiva com retrocesso,
Como construir um compilador utilizando ferramentas Java
Como construir um compilador utilizando ferramentas Java p. 1/2 Como construir um compilador utilizando ferramentas Java Aula 6 Análise Sintática Prof. Márcio Delamaro delamaro@icmc.usp.br Como construir
Compiladores Aula 13. Celso Olivete Júnior.
Aula 13 Celso Olivete Júnior olivete@fct.unesp.br Na aula de hoje Análise léxica Tabela de símbolos Análise sintática Análise semântica Geração de código intermediário Manipulação de erros Tabela de palavras
Análise Sintática Introdução
Análise Sintática Introdução Renato Ferreira Linguagens e Automatas Linguagens formais são importantes em Computação Especialmente em linguagens de programação Linguagens regulares A linguagem formal mais
Linguagens Livres de Contexto
Linguagens Livres de Contexto 1 Roteiro Gramáticas livres de contexto Representação de linguagens livres de contexto Formas normais para gramáticas livres de contexto Gramáticas ambíguas Autômatos de Pilha
Compiladores Aula 5. Celso Olivete Júnior. olivete@fct.unesp.br
Aula 5 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada Conjuntos Primeiro(First) e Seguidor(Follow) 2 Na aula de hoje Análise Sintática Análise Sintática Descendente Recursividade Fatoração 3
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
Plano da aula Compiladores Análise sintática (1) Revisão: Gramáticas Livres de Contexto 1 Introdução: porque a análise sintática? Noções sobre Gramáticas Livres de Contexto: Definição Propriedades Derivações
Vantagens de uma Gramática. Sintaxe de uma Linguagem. Analisador Sintático - Parser. Papel do Analisador Sintático. Tiposde Parsers para Gramáticas
Sintaxe de uma Linguagem Cada LP possui regras que descrevem a estrutura sintática dos programas. specificada através de uma gramática livre de contexto, BNF (Backus-Naur Form). 1 Vantagens de uma Gramática
Compiladores. Prof. Bruno Moreno Aula 11 20/05/2011
Compiladores Prof. Bruno Moreno Aula 11 20/05/2011 2- Recursivo preditivo Análise Recursiva Preditiva O símbolo sobre o cabeçote de leitura determina exatamente qual produção deve ser aplicada na expansão
INE5317 Linguagens Formais e Compiladores AULA 9: Propriedades e Reconhecimento das Linguagens Livres do Contexto
INE5317 Linguagens Formais e Compiladores AULA 9: Propriedades e Reconhecimento das Linguagens Livres do Contexto baseado em material produzido pelo prof Paulo Bauth Menezes e pelo prof Olinto José Varela
Análise Sintática I. Eduardo Ferreira dos Santos. Abril, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 42
Análise Sintática I Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Abril, 2017 1 / 42 Sumário 1 Introdução 2 Derivações 3 Ambiguidade 4 Análise sintática descendente
Compiladores. Bruno Lopes. Bruno Lopes Compiladores 1 / 12. Instituto de C
ompiladores Análise Sintática Bruno Lopes Bruno Lopes ompiladores 1 / 12 Front-end Lida com a linguagem de entrada Teste de pertinência: código fonte linguagem fonte? Programa está bem formado? Sintaticamente?
Análise Sintática II. Eduardo Ferreira dos Santos. Outubro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 34
Análise Sintática II Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Outubro, 2016 1 / 34 Sumário 1 Introdução 2 Ambiguidade 3 Análise sintática descendente 4
COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática
Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise sintática Parte 04 Prof. geovanegriesang@unisc.br Data Conteúdo 23/09/2013 3. Análise Sintática: 3.1 analisadores
Análise Sintática. Fabiano Baldo
Compiladores Análise Sintática Fabiano Baldo Gramáticas Livre de Contexto (GLC) É utilizada na especificação formal lda sintaxe de uma linguagem de programação. É um conjunto de produções ou regras gramaticais
Construção de Compiladores Aula 17 - Análise Sintática Descendente
Construção de Compiladores Aula 17 - Análise Sintática Descendente Bruno Müller Junior Departamento de Informática UFPR 3 de Novembro de 2014 1 Análise Sintática Descendente Eliminação de retrocessos Converter
Análise sintática. Questão. E se a análise sintática pudesse ser modelada por autômatos?
Análise sintática Função, interação com o compilador Análise descendente e ascendente Especificação e reconhecimento de cadeias de tokens válidas Implementação Tratamento de erros Prof. Thiago A. S. Pardo
Um Compilador Simples. Definição de uma Linguagem. Estrutura de Vanguarda. Gramática Livre de Contexto. Exemplo 1
Definição de uma Linguagem Linguagem= sintaxe + semântica Especificação da sintaxe: gramática livre de contexto, BNF (Backus-Naur Form) Especificação Semântica: informal (textual), operacional, denotacional,
Construção de Compiladores Aula 16 - Análise Sintática
Construção de Compiladores Aula 16 - Análise Sintática Bruno Müller Junior Departamento de Informática UFPR 25 de Setembro de 2014 1 Introdução Hierarquia de Chomsky Reconhecedores Linguagens Livres de
BNF (Backus-Naur Form) Gramática Livres de Contexto / Estruturas Recursivas
Sintae => Usualmente Gramática Livre do Conteto (GLC) BNF (Backus-Naur Form) Gramática Livres de Conteto / struturas Recursivas comando => IF epressao THN epressao LS epressao epressao => (epressao) OR
Linguagens Livres de Contexto
Linguagens Livres de Contexto 1 Roteiro Gramáticas livres de contexto Representação de linguagens livres de contexto Formas normais para gramáticas livres de contexto Gramáticas ambíguas Autômatos de Pilha
Análise Sintática Bottom-up
MAB 471 2011.2 Análise Sintática Bottom-up http://www.dcc.ufrj.br/~fabiom/comp Recapitulando parsers top-down Constróem árvore sintática da raiz até as folhas Recursão à esquerda faz parsers entrarem em
Função, interação com o compilador Especificação e reconhecimento de tokens Implementação Tratamento de erros. Prof. Thiago A. S.
Análise léxica Função, interação com o compilador Especificação e reconhecimento de tokens Implementação Tratamento de erros Prof. Thiago A. S. Pardo 1 Estrutura geral de um compilador programa-fonte analisador
Conceitos de Linguagens de Programação
Conceitos de Linguagens de Programação Aula 04 Sintaxe e Semântica Edirlei Soares de Lima Sintaxe e Semântica A descrição de uma linguagem de programação envolve dois aspectos principais:
Revisão de GLC e Analisadores Descendentes
Conteúdo da aula 1. xemplos de Gramáticas Revisão de GLC e Analisadores Descendentes Marcelo Johann 2. Propriedades: Ambíguas, sem ciclos, ε-livres, fatoradas à esquerda, recursivas à esquerda, simplificadas
Revisão. Fases da dacompilação
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
Análise Sintática (Cap. 04) Análise Sintática Ascendente Analisador Sintático LR
Análise Sintática (Cap. 04) Análise Sintática Ascendente Analisador Sintático LR Análise Sintática LR Analisadores sintáticos LR(k): L, verificação da entrada da esquerda para direita R, constrói a derivação
Compiladores. Bruno Lopes. Bruno Lopes Compiladores 1 / 30. Instituto de C
ompiladores Análise Sintática Bruno Lopes Bruno Lopes ompiladores 1 / 30 Front-end Lida com a linguagem de entrada Teste de pertinência: código fonte linguagem fonte? Programa está bem formado? Sintaticamente?
Gramática. Gramática. Gramática
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática
Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise sintática Parte 01 Prof. geovanegriesang@unisc.br Continuação... Próxima aula 2 Análise léxica x Análise sintática
Concurso Público para provimento de cargo efetivo de Docentes. Edital 20/2015 CIÊNCIA DA COMPUTAÇÃO II Campus Rio Pomba
Questão 01 No processo de construção de compiladores, é essencial compreender e manipular as expressões regulares e suas equivalências. Dentro desse contexto, seja o alfabeto = {a, b, c, d, e} e a seguinte
Se o símbolo inicial não fizer parte do conjunto de símbolos férteis, a linguagem gerada pela gramática é vazia.
Transformações em G.L.C Uma vez que existem métodos de análise, cada qual exigindo gramáticas com características específicas é importante que uma gramática possa ser transformada, porém, sem perder a
O uso de gramáticas traz vantagens para projetistas de linguagens e escritores de compiladores pelas seguintes razões:
3. ANÁLISE SINTÁTICA INTRODUÇÃO Toda linguagem de programação tem regras que descrevem sua estrutura sintática (ou sintaxe). A sintaxe de uma LP pode ser descrita por uma gramática livre de contexto 1
Análise sintática. Análise sintática ascendente. Bottom-up, ascendente ou redutiva. Analisadores de precedência de operadores Analisadores LR
Análise sintática Função, interação com o compilador Análise descendente e ascendente Especificação e reconhecimento de cadeias de tokens válidas Implementação Tratamento de erros Prof. Thiago A. S. Pardo
Compiladores - Gramáticas
Compiladores - Gramáticas Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Análise Sintática A análise sintática agrupa os tokens em uma árvore sintática de acordo com a estrutura do programa
Construção de Compiladores Aula 18 - Análise Sintática Ascendente
Construção de Compiladores Aula 18 - Análise Sintática Ascendente Bruno Müller Junior Departamento de Informática UFPR 10 de Novembro de 2014 Bruno Müller 5 Implementação Junior Departamento de Informática
Linguagens de Programação Aula 4
Aula 4 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada... Autômatos finitos AF:exemplos... Cadeia de caracteres a,b,c 2/82 Na aula passada... Autômatos finitos AF:exemplos... Números inteiros(com
Linguagens Formais e Autômatos 02/2016. LFA Aula 01 24/10/2016. Celso Olivete Júnior.
LFA Aula 01 Apresentação 24/10/2016 Celso Olivete Júnior olivete@fct.unesp.br 1 Professor Celso Olivete Júnior Bacharelado em Ciência da Computação (Unoeste-2002) Mestrado e Doutorado em Engenharia Elétrica
Sintaxe do Pascal Simplificado Estendido de 12 novas construções em Notação EBNF (BNF estendida)
Sintaxe do Pascal Simplificado Estendido de 12 novas construções em Notação EBNF (BNF estendida) Não-terminais são nomes mnemônicos colocados entre parênteses angulares. Vocabulário terminal formado por
Compiladores. Transformações de GLCs. Plano da aula. Análise Top-Down. Análise Top-Down Exemplo. Gramáticas Livres de Contexto.
Gramáticas Livres de Contexto Análise Top-Down Compiladores ε Análise sintática (2) Análise Top-Down Top-Down AB AB cb A c ccbb B cbb ccbca B ca 2 Transformações de GLCs Eliminação de produções vazias
COMPILADORES. Revisão Linguagens formais Parte 02. Prof. Geovane Griesang
Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Revisão Linguagens formais Parte 02 Prof. geovanegriesang@unisc.br Legenda: = sigma (somatório) = delta ε = epsilon λ =
MAB Análise Sintática. Wednesday, August 31, 11
MAB 471 2011.2 Análise Sintática http://www.dcc.ufrj.br/~fabiom/comp O Front End Código fonte Scanner tokens Parser IR Erros Parser Verifica a corretude gramatical da sequência de palavras e categorias
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
Compiladores Análise sintática ) Análise ascendente Autômatos Empilhar/Reduzir Lembrando: construir a tabela de análise LL) Como fazer? Re-escrever gramática para satisfazer condições de LL) Calcular conjuntos
CAP. VI ANÁLISE SEMÂNTICA
CAP. VI ANÁLISE SEMÂNTICA VI.1 Introdução Semântica SIGNIFICADO, SENTIDO LÓGICO, COERÊNCIA,... Diferença entre SINTAXE e SEMÂNTICA Sintaxe : descreve as estruturas de uma linguagem; Semântica : descreve
Compiladores I Prof. Ricardo Santos (cap 3 Análise Léxica: Introdução, Revisão LFA)
Compiladores I Prof. Ricardo Santos (cap 3 Análise Léxica: Introdução, Revisão LFA) Análise Léxica A primeira fase da compilação Recebe os caracteres de entrada do programa e os converte em um fluxo de
COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang
Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Revisão Linguagens formais Parte 01 geovanegriesang@unisc.br Legenda: = sigma (somatório) = delta ε = épsilon λ = lambda
Análise Sintática. Análise Sintática. Tipos de Analisadores Gramáticais: PARSERS
Análise Sintática Tipos de Analisadores Gramáticais: PARSERS * Analisadores TOP-DOWN: Árvore de derivação começa pela raiz indo para as folhas => Análise Descendente Tipo LL(1): Left to right / Leftmost
Analisadores Sintáticos LR
FACULDADE ANGLO AMERICANO FOZ DO IGUAÇU Curso de Ciência da Computação 7º Periodo Disciplina: Compiladores Prof. Erinaldo Sanches Nascimento Analisadores Sintáticos LR SLR LR Canônicos LALR Analisadores
Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.
LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas
QUESTÃO 1 (0,6 ponto) Classifique os processadores de linguagens com relação aos tipos das linguagens-fonte e objeto.
COMPILADORES Prof. Marcus Ramos Prova 1 07 de março de 2012 QUESTÃO 1 (0,6 ponto) Classifique os processadores de linguagens com relação aos tipos das linguagens-fonte e objeto. Tanto a linguagem-fonte
Compiladores - Análise Preditiva
Compiladores - Análise Preditiva Fabio Mascarenhas 205.2 http://www.dcc.ufrj.br/~fabiom/comp Analisador Preditivo Uma simplificação do parser recursivo com retrocesso que é possível para muitas gramáticas
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 2. Linguagens Livres-do-Contexto Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto marcelolauretto@usp.br
COMPILADORES. Análise semântica. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática
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
Autômatos com Pilha: Reconhecedores de LLCs
Autômatos com Pilha: Reconhecedores de LLCs 1 Autômatos com Pilha (AP) Definições alternativas para Linguagens Livres de Contexto Extensão de AFND com uma pilha, que pode ser lida, aumentada e diminuída
Capítulo 1: Alfabetos, cadeias, linguagens
Capítulo 1: Alfabetos, cadeias, linguagens Símbolos e alfabetos. Um alfabeto é, para os nossos fins, um conjunto finito não vazio cujos elementos são chamados de símbolos. Dessa maneira, os conceitos de
Gramáticas Livres de Contexto Parte 1
Universidade Estadual de Feira de Santana Engenharia de Computação Gramáticas Livres de Contexto Parte 1 EXA 817 Compiladores Prof. Matheus Giovanni Pires O papel do Analisador Sintático É responsável
Conceitos de Linguagens de Programação
Conceitos de Linguagens de Programação Aula 06 Análise Sintática (Implementação) Edirlei Soares de Lima Análise Sintática A maioria dos compiladores separam a tarefa da análise sintática
Compiladores - Análise Preditiva
Compiladores - Análise Preditiva Fabio Mascarenhas 207.2 http://www.dcc.ufrj.br/~fabiom/comp Analisador Preditivo Uma simplificação do parser recursivo com retrocesso que é possível para muitas gramáticas
TRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS
TRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS Acadêmico: Cleison Vander Ambrosi Orientador: José Roque Voltolini da Silva Roteiro da Apresentação Introdução Motivação
Compiladores: P ASCAL jr
Compiladores: P ASCAL jr Rogério Eduardo da Silva, M.Sc. 2005/2 Sumário 1 Introdução 1 1.1 Evolução das Linguagens de Programação.................. 1 1.2 Introdução à Compilação............................
Análise Sintática. Eduardo Ferreira dos Santos. Outubro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 18
Análise Sintática Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Outubro, 2016 1 / 18 Sumário 1 Introdução 2 Derivações 2 / 18 1 Introdução 2 Derivações 3 /
Tokens, Padroes e Lexemas
O Papel do Analisador Lexico A analise lexica e a primeira fase de um compilador e tem por objetivo fazer a leitura do programa fonte, caracter a caracter, e traduzi-lo para uma sequencia de símbolos lexicos
Compiladores. Capítulo 3: Análise Sintática Introdução
Compiladores Capítulo 3: Análise Sintática 3.1 - Introdução O problema da análise sintática para uma dada gramática livre de contexto, consiste em descobrir, para uma cadeia x qualquer, se a cadeia pertence
Compiladores Aula 2. Celso Olivete Júnior.
Aula 2 Celso Olivete Júnior olivete@fct.unesp.br Relembrando... Métodos de implementação 1. Compilação: Tradução do programa fonte Linguagem máquina Tradução lenta, execução rápida 2 Relembrando... Métodos
Compiladores - Análise Léxica
Compiladores - Análise Léxica Fabio Mascarenhas 2017.2 http://www.dcc.ufrj.br/~fabiom/comp Introdução Primeiro passo do front-end: reconhecer tokens Tokens são as palavras do programa O analisador léxico
Análise Sintática - Final
MAB 471 2011.2 Análise Sintática - Final http://www.dcc.ufrj.br/~fabiom/comp LR(k ) vs LL(k ) Encontrando o próximo passo em uma derivação LR(k) Cada redução na análise detectável com o contexto esquerdo
Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática
Linguagens Formais Aula 01 - Conceitos Básicos Prof. Othon Batista Mestre em Informática Sumário Introdução à Linguagem Alfabeto Cadeias de Símbolos, Palavras Tamanho de Palavra Prefixo, Sufixo ou Subpalavra
Unidade VI. Técnicas de Teste de Software Teste Estrutural. Profa. Dra. Sandra Fabbri
Unidade VI Técnicas de Teste de Software Profa. Dra. Sandra Fabbri Os requisitos de teste são extraídos de uma implementação em particular Teste dos detalhes procedimentais A maioria dos critérios dessa
Prof. Adriano Maranhão COMPILADORES
Prof. Adriano Maranhão COMPILADORES LINGUAGENS: INTERPRETADAS X COMPILADAS Resumo: Linguagem compilada: Se o método utilizado traduz todo o texto do programa, para só depois executar o programa, então
Compiladores - Análise SLR
Compiladores - Análise SLR Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Um exemplo que funciona Todo estado com um item de redução e algum outro item causa conflito LR(0)! A técnica LR(0)
Compiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador
Estrutura de um compilador programa fonte Compiladores Análise lexical () Expressões Regulares analisador léxico analisador sintático analisador semântico análise gerador de código intermediário otimizador
Compiladores. A seção das regras. Especificação (F)lex. Plano da aula. Escolha das regras. Compilação típica com FLEX
Compilação típica com FLX Compiladores Análise sintática (1) Noções sobre Gramáticas Livres de conteto dição do teto de especificação No arquivo minhas_regras.l 3 partes: Declarações Regras (Rs -> Ação)
Compiladores - Análise Recursiva
Compiladores - Análise Recursiva Fabio Mascarenhas 2015.2 http://www.dcc.ufrj.br/~fabiom/comp Geradores x Reconhecedores A definição formal de gramática dá um gerador para uma linguagem Para análise sintática,
Alfabeto, Cadeias, Operações e Linguagens
Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter
Compiladores Ficha de exercícios
Compiladores Ficha de exercícios Simão Melo de Sousa Ano lectivo 2004/2005 1 Linguagens Formais: Construir Frases Exercício 1 Para cada uma das gramáticas G seguintes, (a) descreva a linguagem L(G) gerada
Lembrando análise semântica. Compiladores. Implementação de esquemas de tradução L-atribuídos. Exemplo de implementação top-down (1)
Lembrando análise semântica Compiladores Geração de código intermediário (1) Parser Bottom-up: squema S-atribuído sem problema Apenas atributos sintetizados squema L-atribuído: ok, mas deve-se usar variáveis
Análise Sintática. Compiladores Cristina C. Vieira. Compiladores 2012/2013
Análise Sintática Compiladores Cristina C. Vieira 1 Árvore Sintática Nós internos: símbolos não-terminais Folhas: símbolos terminais Arcos: de símbolos não-terminais do LHS da produção para nós do RHS
Compiladores. J.L.Rangel Compiladores 4-1
Compiladores Capítulo 4. Gramáticas de Atributos 4.1 - Introdução As técnicas de análise sintática vistas anteriormente descrevem basicamente reconhecedores, ou seja máquinas (algoritmos) que determinam
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.
Apresentação Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra/!! Aquisição de conceitos sobre a definição de linguagens de programação.!! Familiarização com os métodos de construção