L-Атрибутная грамматика: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером ''L-Атрибутная грамматика''' (''L-Attribute grammar'') - ''атрибутная грамматика'', в котор...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
''L-Атрибутная грамматика''' (''L-Attribute grammar'') - | :'''L-Атрибутная грамматика''' (''[[L-Attribute grammar]]'') - ''[[атрибутная грамматика]]'', | ||
''атрибутная грамматика'', | в которой каждый наследуемый атрибут <math>X_j</math>, где <math>1\leq j\leq n</math>, в правой части любой продукции <math>A\longrightarrow X_1X_2\ldots X_n</math> зависит | ||
в которой каждый | |||
наследуемый атрибут <math>X_j</math>, где <math>1\leq j\leq n</math>, в правой части | |||
любой продукции <math>A\longrightarrow X_1X_2\ldots X_n</math> зависит | |||
только от | только от | ||
(1) атрибутов символов <math>X_1,X_2,\ldots , X_{j-1}</math>, находящихся | :(1) атрибутов символов <math>X_1,X_2,\ldots , X_{j-1}</math>, находящихся | ||
левее <math>X_j</math> в данной продукции; | левее <math>X_j</math> в данной продукции; | ||
(2) наследуемых атрибутов символов <math>A</math>. | :(2) наследуемых атрибутов символов <math>A</math>. | ||
Заметим, что каждая ''<math>S</math>-атрибутная грамматика'' является | :Заметим, что каждая ''<math>S</math>-атрибутная грамматика'' является | ||
<math>L</math>- | <math>L</math>-атрибутной, поскольку условия (1) и (2) в определении | ||
<math>L</math>-атрибутной грамматики накладывают ограничения только на | <math>L</math>-атрибутной грамматики накладывают ограничения только на | ||
наследуемые атрибуты. | наследуемые атрибуты. | ||
==Литература== | ==Литература== | ||
[Евстигнеев-Касьянов/98] | [Евстигнеев-Касьянов/98] | ||
Версия от 15:04, 25 сентября 2009
- L-Атрибутная грамматика (L-Attribute grammar) - атрибутная грамматика,
в которой каждый наследуемый атрибут [math]\displaystyle{ X_j }[/math], где [math]\displaystyle{ 1\leq j\leq n }[/math], в правой части любой продукции [math]\displaystyle{ A\longrightarrow X_1X_2\ldots X_n }[/math] зависит только от
- (1) атрибутов символов [math]\displaystyle{ X_1,X_2,\ldots , X_{j-1} }[/math], находящихся
левее [math]\displaystyle{ X_j }[/math] в данной продукции;
- (2) наследуемых атрибутов символов [math]\displaystyle{ A }[/math].
- Заметим, что каждая [math]\displaystyle{ S }[/math]-атрибутная грамматика является
[math]\displaystyle{ L }[/math]-атрибутной, поскольку условия (1) и (2) в определении [math]\displaystyle{ L }[/math]-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.
Литература
[Евстигнеев-Касьянов/98]