|
|
(7 intermediate revisions by the same user not shown) |
Line 1: |
Line 1: |
− | {{TOCright}}
| + | #REDIRECT[[Bottom-Up_Parsing]] |
− | == Exercise 1 ==
| |
− | | |
− | Consider the following grammar, where S is the initial symbol and { a, b } is the set of terminal symbols:
| |
− | <text>
| |
− | S -> G b b | a a b | b G a
| |
− | G -> a
| |
− | </text>
| |
− | # Compute the set of LALR(1) states for the grammar. Build the corresponding LALR(1) parse table. | |
− | # Show the parsing process for input '''baaabb''' (including the actions/gotos and the input and stack states). In case of conflict, assume YACC's behavior.
| |
− | # Is this an SLR(1) grammar? Why?
| |
− | | |
− | == Exercise 2 ==
| |
− | | |
− | Consider the following grammar, where E is the initial symbol and { [, ], ;, id } is the set of terminal symbols:
| |
− | <text>
| |
− | E -> [ E ; L ] | id
| |
− | L -> E | E ; L
| |
− | </text>
| |
− | # Compute the set of LALR(1) states for the grammar. Build the corresponding LALR(1) parse table.
| |
− | # Show the parsing process for input '''[id;id;id]''' (including the actions/gotos and the input and stack states). In case of conflict, assume YACC's behavior.
| |
− | # Is this an LL(1) grammar? Why?
| |
− | | |
− | == Exercise 3 ==
| |
− | | |
− | Consider the following grammar, where S is the initial symbol and { e, i, x } is the set of terminal symbols:
| |
− | <text>
| |
− | S -> i S | i S e S | x
| |
− | </text>
| |
− | # 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 '''ixixex''' (including the actions/gotos and the input and stack states). In case of conflict, assume YACC's behavior.
| |
− | # Is this an SLR(1) grammar? Why?
| |
− | | |
− | == Answers ==
| |
− | | |
− | * [http://www.l2f.inesc-id.pt/~david/ist/docencia/compiladores/2007-2008/lalr1-ex123.pdf Answers to exercises 1, 2, and 3]
| |