4194
правки
Атрибутная грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
Атрибутная грамматика (посмотреть исходный код)
Версия от 14:56, 25 сентября 2009
, 25 сентября 2009нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Атрибутная грамматика''' (''Attribute grammar'') - состоит из ''КС-грамматики'' <math>G</math...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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> его синтезируемых и ''наследуемых'' атрибутов, а также из | ||
синтезируемых | |||
множеств <math>M(p)</math> так называемых ''семантических правил'' | множеств <math>M(p)</math> так называемых ''семантических правил'' | ||
(правил вычисления значений атрибутов) для каждого правила | (правил вычисления значений атрибутов) для каждого правила | ||
| Строка 10: | Строка 8: | ||
Пусть <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> | ||
(обозначается <math>a<j></math>), если <math>a\in A(X_j)=I(X_j)\cup S(X_j)</math>. | (обозначается <math>a<j></math>), если <math>a\in A(X_j)=I(X_j)\cup S(X_j)</math>. | ||
| Строка 22: | Строка 20: | ||
<math>a_0<i_0>=f^{p}_{a_0<i_0>} (a_1<i_1>,\ldots , a_{k}<i_{k}>),</math> | <math>a_0<i_0>=f^{p}_{a_0<i_0>} (a_1<i_1>,\ldots , a_{k}<i_{k}>),</math> | ||
где либо <math>i_0=0</math> и <math>a_0\in S(X_0)</math>, либо <math>1\leq | |||
i_0\leq n<p></math> и <math>a_0\in I(X_{i_0})</math>. | i_0\leq n<p></math> и <math>a_0\in I(X_{i_0})</math>. | ||
| Строка 39: | Строка 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>. | ||
| Строка 52: | Строка 51: | ||
семантических определений, если <math>D(p)</math> является ациклическим. | семантических определений, если <math>D(p)</math> является ациклическим. | ||
См. также ''Атрибутное дерево, Атрибутное вычисление, | ==См. также== | ||
Задача трансляции.'' | ''[[Атрибутное дерево]], [[Атрибутное вычисление]], [[Задача трансляции]].'' | ||
==Литература== | ==Литература== | ||
[Евстигнеев-Касьянов/98] | [Евстигнеев-Касьянов/98] | ||