in Theory of Computation
4,443 views
1 vote
1 vote

Convert the following context free grammar into Chomsky Normal Form:

$S \rightarrow ASA | aB$

$A \rightarrow B | S$

$B \rightarrow b |  \epsilon$

Does the appearance of starting symbol S at RHS impacts the conversion from CFG to CNF?

in Theory of Computation
4.4k views

7 Comments

edited by
grammer in CNF will be,

S-->AS/ SA/ AS'/ A'B/ a

A-->AS'/ A'B/ AS/ SA/ a/ b

S'-->SA

A'-->a

B-->b
0
0
Nitish, Typo! second line productions are for A, not for A'.

secondly A->b is missing, added due to null- productions removal.
0
0
yes, sorry.......accidently!!
0
0
edited
@nitish my doubt was if starting variable S appears at RHS in the original Grammar, do we need to add a temp variable? such as
S0->S
+
Original Productions

and the we start conversion from cfg to cnf?
0
0
@manu00x

no need for that..
0
0

@nitis

see the following screenshot taken from the book "Introduction to theory of computation" by Michael Sipser.

0
0

Please log in or register to answer this question.

Related questions