Аноним

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

Материал из WikiGrapp
нет описания правки
(Создана новая страница размером ''L-Атрибутная грамматика''' (''L-Attribute grammar'') - ''атрибутная грамматика'', в котор...)
 
Нет описания правки
 
(не показаны 3 промежуточные версии этого же участника)
Строка 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>-атрибутной, поскольку условия (1) и (2) в определении <math>L</math>-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.
<math>L</math>-атр\-ибут\-ной, поскольку условия (1) и (2) в определении
<math>L</math>-атрибутной грамматики накладывают ограничения только на
наследуемые атрибуты.
==Литература==
==Литература==
[Евстигнеев-Касьянов/98]
 
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. — Новосибирск: Наука. Сиб. отд-ние, 1998.