Chromsky正常形式单位生产

Question

我有以下内容需要转换为CNF：

S -> Aux NP VP
S -> VP
VP -> Verb NP
VP -> VP PP
Verb -> book
Aux -> does

到目前为止我所拥有的是：

S -> X1 VP
X1 -> Aux NP
S -> Verb NP
S -> VP PP
VP -> Verb NP
VP -> VP PP
Verb -> book
Aux -> does

是吗？动词和Aux会发生什么？我的书有以下内容：

1. Copy all conforming rules to the new grammar unchanged.
2. Convert terminals within rules to dummy non-terminals.
3. Convert unit-productions.
4. Make all rules binary and add them to new grammar

1. 我认为这意味着右边有两个非终端的所有规则
2. Aux NP是终端，所以我将其转为虚拟非终端X1 - ＆gt; Aux NP

3. 不确定这一步是什么，但本书有：

   我们 可以通过重写原始规则的右侧来消除单位产品 在他们最终领导的所有非单位生产规则的右侧 至

4. 到目前为止，除了Verb和Aux之外，我所用的内容似乎是二进制文件。