4624
правки
Атрибутная грамматика: различия между версиями
Материал из WikiGrapp
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Атрибутная грамматика''' (''[[Attribute grammar]]'') | '''Атрибутная грамматика''' (''[[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. | ||
