s793 Пред.Страница След.Страница Раздел Содержание 5.4. Резюме. Атрибутные грамматики отличаются от транслирующих грамматик тем, что терминальные, нетерминальные и операционные символы могут иметь атрибуты, которые могут быть синтезируемыми или наследуемыми, и каждому правилу грамматики приписываются правила вычисления атрибутов. Построение выводов с помощью правил АТ-грамматик совмещается с вычислением значений атрибутов. Такие вычисления для синтезируемых атрибутов не всегда оказывается возможным выполнить при подстановке правой части правила, поэтому при выводе приходится сохранять те выражения, которые нельзя вычислить до момента определения значений, входящих в них величин. Построить преобразователь, реализующий перевод, определяемый АТ-грамматикой, оказывается возможным не для любой АТ-грамматики, а только такой, для которой выполняются требования L-атрибутных грамматик и которая представлена в форме простого присваивания. Грамматика относится к классу L-атрибутных грамматик, если наследуемые атрибуты правых частей правил грамматики вычисляются по наследуемым атрибутам левой части или по атрибутам правой части, расположенным левее данного, и если синтезируемые атрибуты символов действия вычисляются по их наследуемым атрибутам. АТ-грамматика находится в форме простого присваивания, если каждое правило вычисления атрибутов представляет собой оператор присваивания с идентификатором или константой в правой части. АТ-грамматику можно преобразовать к форме простого присваивания путем замены функций, используемых в правых частях правил вычисления значений атрибутов, операционными символами и включения этих символов в правила грамматики. Пред.Страница След.Страница Раздел Содержание