Просмотр кода страницы Нормальная форма Хомского

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

(1) <math>A\longrightarrow BC</math>, где <math>\,A,B</math> и <math>\,C</math> принадлежат <math>\,N</math>;

(2) <math>A\longrightarrow a</math>, где <math>a\in\Sigma</math>;

(3) <math>S\longrightarrow e</math>, если <math>e\in L(G)</math>, причем <math>\,S</math> не
встречается в правых частях правил.
==Литература==
* Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.
 
* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.