retagged by
2,205 views
0 votes
0 votes
S->AbaC

A->BC

B->b/epsilon

C->D/epsilon

D->d

 

I want to know that will A contain epsilon as B and C both are null variables???(In Elimination of epsilon-production)
retagged by

3 Answers

Best answer
1 votes
1 votes
On eliminating Epsilon productions we have

S->AbaC | Aba

A->B | C | BC | epsilon

Here A-> epsilon

So again put that in 1st production.

we get  

S->baC | ba | BbaC | CbaC | BCbac | Bba | Cba | BCba

B->b

C->D

D->b
selected by

Related questions

1 votes
1 votes
1 answer
1
3 votes
3 votes
1 answer
3
himanich asked Jun 22, 2016
596 views
If language $L=\{a^n b^n \mid n \geq 0\}$, then language $L^2$ is given by$\{a^{2n} b^{2n} \mid n \geq 0\}$$\{a^n b^n a^n b^n \mid n \geq 0\}$$\{a^n b^n \mid n \geq 0\}$$...
1 votes
1 votes
2 answers
4
shaff asked Jun 21, 2016
523 views
The production rules for a given context-free grammar are $S \rightarrow aA, A \rightarrow bB, A \rightarrow aB$ and $B \rightarrow a$ inChomsky normal formGreibach norma...