Bottom-Up Parsing/Exercise 7: LALR(1): Difference between revisions
From Wiki**3
< Bottom-Up Parsing
m (→Solution) |
|||
Line 4: | Line 4: | ||
Considere a seguinte gramática, onde '''B''' é o símbolo inicial e '''{ w, x, y, z }''' é o conjunto de símbolos terminais. | Considere a seguinte gramática, onde '''B''' é o símbolo inicial e '''{ w, x, y, z }''' é o conjunto de símbolos terminais. | ||
H → A | B | w | ::::::H → A | B | w | ||
A → B x | z H y | ::::::A → B x | z H y | ||
B → A x | y H z | ::::::B → A x | y H z | ||
# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique. | # Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique. |
Revision as of 13:08, 22 June 2015
Problema
Considere a seguinte gramática, onde B é o símbolo inicial e { w, x, y, z } é o conjunto de símbolos terminais.
- H → A | B | w
- A → B x | z H y
- B → A x | y H z
- Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.
- Tal como apresentada, a gramática pode ser processada por um analisador LL(1)? Justifique.
- Compacte a tabela de análise (de 1.), eliminando reduções unitárias e quase unitárias, bem como propagando reduções que permitam compactar a tabela.
- Apresente a tabela com o conteúdo da pilha do analisador, a entrada e a acção realizada em cada passo da análise, para a sequência de entrada y z w y z. Em caso de conflitos, assuma o comportamento da ferramenta YACC.