将CFG转换为Chomsky Normal形式

Question

1. 使用常规语言的抽取引理，显示

   语言L = { a ⁱ ，b ^j c ^k | i，j，k是非负整数，并且i = j或i = k }

不是常规

1. 为上述语言设计CFG

这就是我想出来的

Answer: G = (V,,R, S) with set of variables V = {S,W,X, Y,Z},
where S is the start variable; set of terminals  = {a, b, c}; and rules
S → XY | W
X → aXb | e
Y → cY | e
W → aWc | Z
Z → bZ | e

现在我必须将上面的CFG转换成chomsky普通形式，我遇到麻烦......有什么帮助吗？