Хромская нормальная форма производства единицы

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

Это оно? Что происходит с глаголом и вспомогательным? Моя книга имеет следующее:

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 -> Aux NP

3. Не уверен, что этот шаг, но книга имеет:

   Мы можем исключить производство единиц, переписав правую часть оригинальных правил с правой стороны всех правил неединичного производства, к которым они в конечном итоге приводят

4. То, что я имею до сих пор, кажется, в двоичном формате, за исключением глагола и Aux.