Difference between revisions of "Bottom-Up Parsing/Exercise 14: LALR(1)"
From Wiki**3
< Bottom-Up Parsing
(→Solução) |
(→Problema) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
Consider the following grammar, where A is the initial symbol and '''{ x, y, z }''' is the set of terminal symbols: | Consider the following grammar, where A is the initial symbol and '''{ x, y, z }''' is the set of terminal symbols: | ||
<source lang="text"> | <source lang="text"> | ||
| − | A | + | A → M z x | z M x | z x z |
| − | M | + | M → y | ε |
</source> | </source> | ||
# Compute the set of LALR(1) states for the grammar. Build the corresponding LALR(1) parse table. | # Compute the set of LALR(1) states for the grammar. Build the corresponding LALR(1) parse table. | ||
| Line 14: | Line 14: | ||
Na imagem, os conflitos indicados para a regra 2 são para a regra 5. | Na imagem, os conflitos indicados para a regra 2 são para a regra 5. | ||
| − | Note-se que a solução apresentada é para SLR( | + | Note-se que a solução apresentada é para SLR(1) e LALR(1) (a vermelho). |
| + | |||
{{CollapsedCode|Solução completa| | {{CollapsedCode|Solução completa| | ||
[[Image:Mzx1.jpg|768px]] | [[Image:Mzx1.jpg|768px]] | ||
Latest revision as of 11:46, 2 May 2024
Problema
Consider the following grammar, where A is the initial symbol and { x, y, z } is the set of terminal symbols:
A → M z x | z M x | z x z
M → y | ε
- Compute the set of LALR(1) states for the grammar. Build the corresponding LALR(1) parse table.
- Compact the parse table, eliminating and propagating reductions.
- Show the parsing process for input zyx (including the actions/gotos and the input and stack states). In case of conflict, assume YACC's behavior.
Solução
Na imagem, os conflitos indicados para a regra 2 são para a regra 5.
Note-se que a solução apresentada é para SLR(1) e LALR(1) (a vermelho).
| Solução completa |
|---|
|
|
