L-Атрибутная грамматика

Материал из WEGA
Версия от 15:55, 24 сентября 2009; Glk (обсуждение | вклад) (Создана новая страница размером ''L-Атрибутная грамматика''' (''L-Attribute grammar'') - ''атрибутная грамматика'', в котор...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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]