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

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



Версия от 16:53, 24 ноября 2009

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