Нормальная форма Хомского: различия между версиями

'''Нормальная форма Хомского'''(''[[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>;

(3) <math>S\longrightarrow e</math>, если <math>e\in L(G)</math>, причем <math>\,S</math> не

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

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