Folha 4.2 Análise sintática ascendente

Transcrição

1 Folha 4.2 Análise sintática ascendente 1. Considere a gramática G = (S, T, P, S) que representa o cabeçalho de métodos na linguagem Java (sem os modificadores de acesso), onde T = {S, Type, Param, Exception, ParamList } S = { id, int, boolean, (, ),,, throws, ArithmeticException } S Type id ( Param ) Exception Type int boolean Param ε ParamList ParamList Type id ParamList, Type id Exception ε throws ArithmeticException a) Verifique se a seguinte gramática é LR(0). b) Verifique se a seguinte gramática é SLR(1). 2. Considere a gramática G = (S, T, P, S), que representa uma versão muito simplificada de uma linguagem para representar texto formatado (e.g., Latex, HTML), onde S = { S, A, E, P} T = { tit, sec, p, (, ) } S tit ( P ) A A E A E E sec ( P ) P P p P p na qual tit e sec identificam, respetivamente, o início do texto e o início de uma secção. a) Identifique a tabela de ações e de transições do analisador SLR(1). Verifique se existem conflitos na tabela. Em caso afirmativo, indique o tipo de conflitos. b) Verifique se a gramática é LR(0) e SLR(1).

2 2 3. Considere a gramática G = (S, T, P, S), onde S ={ S, E } T = { if, then, else, num, print, = } S if E then S else S if E then S print num E num = num a) Identifique a tabela de ações e de transições do analisador SLR(1). b) Identifique o tipo de conflitos que surgem na tabela SLR(1) e a respetiva origem. Apresente, justificando, uma solução para resolver os conflitos. 4. Considere a gramática G = (S, T, P, E), onde S = { E, T } T = { id,?, :, # } E E? T : T T T # T id id a) Identifique a tabela de ações e de transições do analisador LR(0). b) Simule o funcionamento do analisador LR(0) para a entrada: id? # id : id c) Identifique a tabela de ações e de transições do analisador SLR(1). d) Simule o funcionamento do analisador SLR(1) para a entrada: id? # id : id e) Identifique a tabela de ações e de transições do analisador LR(1). f) Simule o funcionamento do analisador LR(1) para a entrada: id? # id : id 5. Considere a gramática G = (S, T, P, E) geradora de expressões na notação infixa com o operador aritmético + e o operador relacional < (admitir que o operador relacional tem prioridade inferior à do operador aritmético), onde S = { E } T = { num, +, <, (, ) } E E + E E < E (E) num Identifique o tipo de conflitos que surgem ao construir um analisador SLR(1) e a respetiva origem. Apresente, justificando, uma solução para resolver os conflitos. 6. Considere a gramática G = (S, T, P, S) que descreve sequencias de instruções de declaração de variáveis, onde S = { S, T, L } T = { id, string, int, ;,, } S T L ; S ε T string int L L, id id Folha Análise sintática ascendente

3 3 a) Identifique a tabela de ações e a tabela de transições do analisador sintático LR(1). b) Simule o funcionamento do analisador LR(1) para a entrada: string id, id ; int id c) Simule o funcionamento do analisador LR(1) para a entrada: string id, id ; int id ; d) Identifique a tabela de ações e a tabela de transições do analisador sintático LALR(1). e) Simule o funcionamento do analisador LALR(1) para a entrada: string id, id ; int id ; string id 7. Considere a gramática G = (S, T, P, B) geradora de expressões lógicas bem formadas usando as constantes true e false, onde S = { S, B } T = { true, false,,, (, ) } S S B B B B ( S ) true false a) Identifique a tabela de ações e a tabela de transições do analisador sintático SLR(1). Verifique se existem conflitos na tabela. Em caso afirmativo, indique o tipo de conflitos. b) Verifique se a gramática é LR(0) ou SLR(1). c) Simule o funcionamento do analisador sintático para a entrada: ( true false ) 8. Considere a gramática G = (S, T, P, E), onde S = { E, S, V, L } T = { +, [, ],,, num } E S V E + V S S + num num V [ L ] L L, S S, S a) Identifique a tabela de ações e a tabela de transições do analisador sintático SLR(1). b) Verifique se a gramática é LR(0) ou SLR(1). c) Simule o funcionamento do analisador sintático para a entrada: num + [ num, num ] Apresente uma tabela com os sucessivos conteúdos da pilha, da entrada e das ações realizadas em cada passo. 9. Considere a gramática G = (S, T, P, S), onde S = { S, E, V } T = { id, =, [, ] } P é formado pelas seguintes produções: S id V = E V id id [ E ] E V a) Identifique a tabela de ações e a tabela de transições do analisador sintático LR(1). b) Verifique se a gramática é LALR(1) ou LR(1). Folha 4.2 Análise sintática ascendente

4 4 10. Considere a gramática G = (S, T, P, E), onde S = { E } T = { c, /, \, (, ) } E c E \ E E / E E \ E / E ( E ) que descreve uma linguagem de expressões formatada por índices: (1) atómicas, E; (2) sub-expressões com parêntesis, ( E ); (3) compostas com sobre-índices, E / E e (4) compostas com sub-índices, E \ E a) Identifique a tabela de ações e a tabela de transições do analisador sintático SLR(1). Verifique se existem conflitos na tabela. Em caso afirmativo, indique o tipo de conflitos. b) Verifique se a gramática é LR(0) ou SLR(1). c) Simule o funcionamento do analisador sintático para a entrada: ( c \ c ) / c 11. Considere a gramática G = (S, T, P, E) onde S = { E, T } T = { x, + } E T + E T T x a) Identifique os itens LR(0) da gramática estendida. b) Identifique a tabela de ações e a tabela de saltos do analisador sintático SLR(1). c) Simule o funcionamento do analisador sintático SLR(1) para a entrada: x + x + x d) Verifique se a gramática é LR(0). 12. Considere a gramática G = (S, T, P, E), onde S = { E, T, F } T = { a, b, +, *, (, ) } E E +T T T T F F F F* a b ( E ) a) Identifique a tabela de ações e de saltos do analisador sintático SLR(1). b) Simule o funcionamento do analisador sintático SLR(1) para a entrada: ( a + b ) * c) Verifique se a gramática é LR(0). Justifique. Folha Análise sintática ascendente

5 5 13. Considere a gramática geradora de expressões lógicas bem formadas com os operadores binários de conjunção ( ) e implicação ( ), e as constantes true e false (admitir que a implicação tem prioridade superior à conjunção, a conjunção é associativa à esquerda e a implicação é associativa à direita=, G = (S, T, P, B) onde S = { B } T = { true, false,, }, B B B B B true false a) Identifique o tipo de conflitos que surgem ao construir um analisador SLR(1) para a gramática e a respetiva origem. Apresente, justificando, uma solução para resolver os conflitos. 14. Um documento escrito na linguagem XML é um texto normal com anotações. As anotações são identificadores especiais (designados por elementos XML) intercalados entre os caracteres < e >. Num documento XML bem formado, a cada anotação de abertura corresponderá uma anotação de fecho, que tem o mesmo identificador, mas que começa por </ terminando na mesma em >. Considere a gramática G = (S, T, P, D) que descreve uma versão simplificada de escrita de documentos XML, onde: S = { D, E, C, A, M } T = { <, >, /, pcdata, =, id, string } D < E > C < / id > E id A A e A id = string C e C M M pcdata D (as variáveis D, E, A, C e M denotam, respetivamente, documento, elemento, atributo, conteúdo e componente) a) Calcule os conjuntos First e Follow para cada variável da gramática. b) Identifique a tabela de ações e a tabela de transições do analisador sintático SLR(1) e indique se a gramática é LR(0) ou SLR(1). c) Simule o funcionamento do analisador sintático LL(1) ou do analisador sintático SLR(1) para a entrada: < id > pcdata < / id > Apresente uma tabela com os sucessivos conteúdos da pilha, da entrada e das produções/ações usadas/realizadas em cada passo. Folha 4.2 Análise sintática ascendente

6 6 15. Considere a gramática G = (S, T, P, S) onde S = { S, A } T ={ a, b, c, d } S Aa bac dc bda A d a) Identifique a tabela de ações e de saltos do analisador LR(1). b) Explique como é que consegue obter a tabela do analisador LALR(1) a partir da tabela do analisador LR(1). Indique se a gramática é LR(1) e LALR(1). Justifique. 16. Considere a gramática que descreve sequencias de instruções de declaração de variáveis na linguagem Pascal, G = (S, T, P, S) onde S = { S, T, L } T = { var, id, char, integer, boolean, ;,,, : } S S var L : T ; ε L L, id id T char integer boolean a) Identifique a tabela de ações e a tabela de transições do analisador sintático SLR(1). b) Indique, justificando, se a gramática G é LR(0), SLR(1), LR(1) e LALR(1). c) Simule o funcionamento do analisador sintático SLR(1) para a entrada: var x, y : integer; var b: boolean; Apresente uma tabela com os sucessivos conteúdos da pilha, da entrada e das produções/ações usadas/realizadas em cada passo. 17. Considere a gramática geradora de expressões na notação infixa com o operador aritmético + e o operador relacional < (admitir que o operador relacional tem prioridade inferior à do operador aritmético), G = (S, T, P, E) onde S = { E } T = { num, +, <, (, ) } E E + E E < E ( E ) num Identifique o tipo de conflitos que surgem ao construir um analisador SLR(1) e a respetiva origem. Apresente, justificando, uma solução para resolver os conflitos. Folha Análise sintática ascendente