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

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


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

Навигация