# First set and follow set self-doubt

156 views
why do first sets can have epsilon symbol but follow sets don’t?

P.S: I’ve a silly doubt :P
0
It is the rule. If the follow set has epsilon, then we have to remove it, with certain rules of Compiler. I think u know those rules.
0
I know the rule. but what may happen if follow set has epsilon
1
Follow set can never  contain $\epsilon$ entry. If u derive derive FOLLOW set property, then u can found out, why it cannot contain.
First of all, where we use a FOLLOW set??

When there is a $\epsilon$ entry in FIRST set of LL(1) entry, there we use follow set.
Now, if this NON-TERMINAL doesnot follow by anything, then what do we do?

We just go to that NON-TERMINAL from where it derived, and check it's FOLLOW set

If nothing found , then go from where derived

And , at last if nothing found it returns dolor

$S\rightarrow aS|aA$

$A\rightarrow bB|\epsilon$

$B\rightarrow b$

Now, FIRST of $A$ contains $\epsilon$, and $A$ doesnot FOLLOW by anything,

So, go for FOLLOW of S

Now, FOLLOW of S contains nothing but dolor.

So, $\epsilon$ never possible.
1
got it. nice explaination

## Related questions

1
148 views
X->aABe B->c | d A->a What will be the follow of A here? {c, d, \$} or {c, d, e, dollar}