Lab for Automated Reasoning and Analysis LARA

Homework 02

Problem 1

Find nullable, FIRST, and FOLLOW sets for this grammar; then construct the LL(1) parsing table.
1.S′ → S EOF
2.S →
3.S → XS
4.B → \ begin { WORD }
5.E → \ end { WORD }
6.X → BSE
7.X → { S }
8.X → WORD
9.X → begin
10.X → end
11.X → \ WORD

Problem 2

1) Give an example grammar with its corresponding parsing table where left recursion causes ambiguity. How do you get rid of it in this case: A → Aa|b?

2) The following grammar is for regular expressions over symbols a and b only, using + instead of | (to avoid notation conflict)
rexpr → rexpr + rterm | rterm
rterm → rterm rfactor| rfactor
rfactor → rfactor * | rprimary
rprimary → a | b

a)Left-factor this grammar
b)Is the resulting grammar suitable for top-down parsing ?
c)Eliminate the left recursion from the original grammar
d)Is the resulting grammar suitable for top-down parsing ?

Problem 3

Write an unambiguous grammar for the following language:
Balanced parentheses and brackets, where a closing bracket also closes any outstanding open parentheses (up to the previous open bracket).
Example: [([](()[(][])]

Possible solution:
A → [B]A|(A)A|”“
B → [B]B|(B)B|B'
B' → (B'|”“

It seems to recognize the right language and to be unambiguous. Do you agree?

cc09/homework_02.txt · Last modified: 2009/10/10 19:11 by losa