computer-science - CFG をチョムスキー正規形に変換する

Question

1. 正規言語のポンピング補題を使用して、

   言語 L = { a ⁱ , b ^j c ^k | i、j、k は非負の整数で、i=j または i=k }

規則的ではない

2. 上記の言語の 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を変換する必要があります...助けはありますか?