0
3.9kviews
Find the CNF equivalent to

S -> aAbB , A -> aA|a , B -> bB|b

1 Answer
0
369views

Solution:

G={

SaAbB

AaA/a

BbB/b

}

Let A1a B1b

SA1AB,B

AA1A|a....inCNF

BB1B|b....inCNF

SA1A2

A2AA3

A3B1B

Final G in CNF is

SA1A2

A1a

B1b

A2AA3

A3B1B

AA1A|a

BB1B|b

Please log in to add an answer.