context-free-grammar - 转换为乔姆斯基范式

Question

我目前正在学习CNF，我有点困惑。

鉴于此语法：

S -> ab | aSb

将导致 CNF：

S -> AB | XB

X -> AY

Y -> AB | XB

A -> a

B -> b

这个怎么样：

S -> c | aSa | bSb

有人可以在这方面给我一点帮助吗？谢谢。