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

'''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> зависит только от

:(1) атрибутов символов <math>X_1,X_2,\ldots , X_{j-1}</math>, находящихся левее <math>X_j</math> в данной продукции;

Заметим, что каждая ''<math>S</math>-атрибутная грамматика'' является <math>L</math>-атрибутной, поскольку условия (1) и (2) в определении <math>L</math>-атрибутной грамматики накладывают ограничения только на наследуемые атрибуты.