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

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 7: Строка 7:
Заметим, что каждая ''<math>S</math>-атрибутная грамматика'' является <math>L</math>-атрибутной, поскольку условия (1) и (2) в определении <math>L</math>-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.
Заметим, что каждая ''<math>S</math>-атрибутная грамматика'' является <math>L</math>-атрибутной, поскольку условия (1) и (2) в определении <math>L</math>-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.
==Литература==
==Литература==
[Евстигнеев-Касьянов/98]
 
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. - Новосибирск: Наука. Сиб. отд-ние, 1998.

Версия от 17:50, 11 ноября 2010

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]-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.

Литература

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