GO-Compiler1: Parsing-5

Question

Which of the following statements regarding $LR(0)$ parser is FALSE?

• A. A $LR(0)$ configurating set cannot have multiple reduce items
• B. A $LR(0)$ configurating set cannot have  both shift as well as reduce items
• C. If a reduce item is present in a $LR(0)$ configurating set it cannot have any other item
• D. A $LR(0)$ parser can parse any regular grammar

Comments

Sir, cannot we have a reduce move and a GOTO action in same canonical item ?

---

Not for LR(0) parser

---

I just realized how dumb that question was. Sorry sir

---

If there is a reduce move we place it only in the action part right???

So what happens when we have a reduce item and Goto item in the same state??

---

When we reduce using a production say $A \to Bcd$, we pop 3 items from stack - since production used for REDUCE has 3 symbols, and move to a state given by GOTO(S, A) where S is the stack top after the pop moves.

---

LR(0) is a top-down parser, it can not parse ambiguous grammar, even all parser can't parse ambiguous grammar and every regular grammar need't be unambiguous  

example: A-->Ba/aa

                  B-->a

for above regular grammar has two parse tree for string "aa"

Answer 1

No grammar with empty production can be LR(0). But empty rules are allowed in regular grammar as the only condition for a grammar to be regular is to be either left linear or right linear.

Comments

@Arjun sir, isn't B false?

---

Yes. Just corrected the option

---

Sir, can we say that since a given regular grammar can be ambiguous and LR(0) parsers can't parse any ambiguous grammar, so option (d) is false ?

---

Can you give an ambiguous regular grammar?

---

Ambiguous Regular:

S→A | B
A→a
B→a

---

Yes. 
https://math.stackexchange.com/questions/1773779/can-a-regular-grammar-be-ambiguous