The Gateway to Computer Science Excellence
+4 votes
4.5k views

Consider a Grammar G as follows :

$S\rightarrow W$

$W \rightarrow ZXY / XY$

$Y\rightarrow c/\epsilon$

$Z\rightarrow a/d$

$X\rightarrow Xb/\epsilon$


Draw the LL(1) parsing table for the given grammar ?


NOTE :- The above grammar is NOT LL(1) .

in Compiler Design by Veteran (50.9k points) | 4.5k views

1 Answer

+7 votes
Best answer

S→W

W→ZXY / XY

Y→c/ϵ

Z→a/d

X→Xb/ϵ


First(S) = { a, d, b, c, d, ϵ}  , Follow(S) = { $ }

First(W) = { a, d, b, c, d, ϵ} , Follow(W) = { $ }

First(X) = { b, ϵ}                  , Follow(X) = {b, c,$ }

First(Y) = { c, ϵ}                 , Follow(Y) = { $ }

First(Z) = { a, d}                 , Follow(Z) = { b, c, $ }


LL(1) Table-


Place A -> B in the first of B in row A.

If  A -> B , and first of A =ϵ or B = ϵ , then place A-> B, in the follow of A.


  a b c d $
S S->W S->W S->W S->W S->W
W W->ZXY W->XY W->XY W->ZXY W->XY
X  

X->Xb

X->$\epsilon$

X->$\epsilon$   X->$\epsilon$
Y     Y->c   Y->$\epsilon$
Z Z->a     Z->d  

Because of X-> Xb and X -> ϵ , going in same block, given grammar is not LL(1).

??

by Boss (26.5k points)
selected by
0

Very Nice :)

Just a doubt ?

$X\rightarrow Xb$ won't go in $c$ and $ ?

0

I don't think so..

X-> Xb would go only in the first of (Xb) right ?? And first of Xb = { b } ..right ??

0

Okk !!

I am not sure but just thought that first of {Xb} = first of {X}

And, First of {X} = {b,c,$} ?

0
First(X) = { b, $\epsilon$ }

Follow(X)={b, c, $ }.
+1
Yes, u r right .
0
Can you tell why did you put first pproduction S->W in $ too ? I assume it is because when W = ϵ then  production becomes S-> ϵ and goes in Follow(S). Do I understand it correct ?
+1

Amey Umarekar

S→W ::: W→XY::::X→ϵ,Y→ϵ:::::W→ϵ :::::S→ϵ

Follow of S=$

0

@  saxena0612

Ohh ok, so same goes with W->XY in Follow(W). Thanks !!

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,737 questions
57,370 answers
198,506 comments
105,276 users