Атрибутная грамматика: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Атрибутная грамматика''' (''[[Attribute grammar]]'') - состоит из [[КС-Грамматика|''КС-грамматики'']] <math>G</math>, называемой ее ''основой'' (или [[база|''базой'']]), отображений
'''Атрибутная грамматика''' (''[[Attribute grammar]]'') состоит из [[КС-Грамматика|''КС-грамматики'']] <math>G</math>, называемой ее ''основой'' (или [[база|''базой'']]), отображений
<math>S</math> и <math>I</math>, ставящих в соответствие каждому символу <math>X</math>
<math>S</math> и <math>I</math>, ставящих в соответствие каждому символу <math>X</math>
непересекающиеся множества <math>S(X)</math> и <math>I(X)</math> его синтезируемых и ''наследуемых'' атрибутов, а также из
непересекающиеся множества <math>S(X)</math> и <math>I(X)</math> его синтезируемых и ''наследуемых'' атрибутов, а также из
Строка 7: Строка 7:




Пусть <math>p:X_0\longrightarrow X_1X_2\ldots X_{n<p>}</math> ---
Пусть <math>p:X_0\longrightarrow X_1X_2\ldots X_{n<p>}</math>
некоторое правило [[грамматика|грамматики]] <math>G</math>. Говорят, что имеется
некоторое правило [[грамматика|грамматики]] <math>G</math>. Говорят, что имеется
вхождение атрибута <math>a</math> при <math>j</math>-м символе <math>X_j</math> правила <math>p</math>
вхождение атрибута <math>a</math> при <math>j</math>-м символе <math>X_j</math> правила <math>p</math>
Строка 38: Строка 38:
определении <math>a<i></math>.
определении <math>a<i></math>.


''[[Граф]] локальной зависимости'' в продукции <math>p</math> --- это граф
''[[Граф]] локальной зависимости'' в продукции <math>p</math> это граф
отношения <math>D(p)</math>  на множестве <math>W(p)</math>.
отношения <math>D(p)</math>  на множестве <math>W(p)</math>.


Строка 58: Строка 58:
==Литература==  
==Литература==  


* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. - Новосибирск: Наука. Сиб. отд-ние, 1998.
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. Новосибирск: Наука. Сиб. отд-ние, 1998.

Навигация