in Compiler Design
672 views
6 votes
6 votes
Which of the below relations does hold TRUE regarding GRAMMARS?
  1. $LL(1) \subset SLR(1) \subset LR(1)$
  2. $SLR(1) \subset \epsilon-\text{free}\; LL(1) \subset LR(1)$
  3. $\epsilon-\text{free}\;LL(1) \subset SLR(1) \subset LR(1)$
  4. $LL(1) \subset SLR(1) = LR(1)$
in Compiler Design
by
672 views

4 Comments

If $\epsilon - \text{free LL(1)} = SLR(1)$ then how option C is correct?
1
1
every $\epsilon$-free LL(1) grammar is SLR(1) grammar means the set of $\epsilon$-free LL(1) grammars is within the set of  SLR(1) grammars.

To prove 2 sets A and B are equal ,  we have to prove that $A\subseteq B$  and $B\subseteq A$. So, if we consider  $\epsilon$-free LL(1) = SLR(1) is true then all the SLR(1) grammars should also be the subset of set of $\epsilon$-free LL(1) grammars which is not true.
4
4
if in case  $\epsilon $ free  grammar is  not LL(1)

A->Ax/y grammar but not LL(1) Also  $\epsilon $ free

ithink first option right it it hold any type of CFG
0
0

1 Answer

2 votes
2 votes
Answer : C

ϵ−free LL(1) ⊂ SLR(1) ⊂ LR(1)

because every ϵ−free LL(1) are SLR(1) and every SLR(1) are LR(1)
Answer:

Related questions