context-free-grammar - 将上下文无关语法转换为乔姆斯基范式

Question

我正在尝试将此上下文无关语法转换为 CNF：

S -> AB | 一个 | ε

一个 -> 一个 | C | 钙 | ε

B -> C

C -> 钙 | CB | D

D -> 钙 | 一个

这个答案是真的吗：

S -> AB | 一个 | ε | 客户体验 | CY

一个 -> 一个 | CY | CX

B -> 一个 | CY | CX

C -> 一个 | CY | CX

X -> 一个

Y -> b