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

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

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

S'-->SA

A'-->a

B-->b

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?**

0

Nitish, Typo! second line productions are for A, not for A'.

secondly A->b is missing, added due to null- productions removal.

secondly A->b is missing, added due to null- productions removal.

0

@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?

S0->S

+

Original Productions

and the we start conversion from cfg to cnf?