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

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

(1) [math]\displaystyle{ A\longrightarrow BC }[/math], где [math]\displaystyle{ \,A,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] не встречается в правых частях правил.

Литература

• Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.

• Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.