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]