Нормальная форма Хомского

Нормальная форма Хомского(Chomsky normal form) - Контекстно-свободная грамматика [math]\displaystyle{ G = (N, \Sigma, }[/math] [math]\displaystyle{ P, S) }[/math] находится в нормальной форме Хомского (или в бинарной нормальной форме), если каждое правило из [math]\displaystyle{ P }[/math] имеет один из следующих видов:

(1) [math]\displaystyle{ A\longrightarrow BC }[/math], где [math]\displaystyle{ A }[/math],[math]\displaystyle{ B }[/math] и [math]\displaystyle{ C }[/math] принадлежат [math]\displaystyle{ N }[/math];

(2) [math]\displaystyle{ A\longrightarrow a }[/math], где [math]\displaystyle{ a\in\Sigma }[/math];

(3) [math]\displaystyle{ S\longrightarrow e }[/math], если [math]\displaystyle{ e\in L(G) }[/math], причем [math]\displaystyle{ S }[/math] не встречается в правых частях правил.

Литература

[Ахо-Ульман],

[Касьянов/95]