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

Материал из WEGA

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]