转换为乔姆斯基普通形式

Question

我目前正在了解CNF，我有点困惑。

鉴于这个语法：

S -> ab | aSb

将导致CNF：

S -> AB | XB

X -> AY

Y -> AB | XB

A -> a

B -> b

这个怎么样：

S -> c | aSa | bSb

有人可以在这一点上提升我一点。感谢。