This was the initial CFG (starting symbol is I):I  aABA  BAb |  | BB  a | b | CDC  baD  DDAnd this its CNF:X  aX' bI  XYY  AB | a | b | X'XY' BA | a | b | X'XA  Y'X' | a | b | X'XB  a | b | X'XIs it correct?
Is this grammar in Chomsky Normal Form?
formal languages;context free