5.1.2. Определение АТ-грамматик
В АТ-грамматиках
используются атрибуты двух видов: наследуемые
и синтезируемые.
Значения наследуемых атрибутов определяются при выполнении очередного шага
вывода по значениям атрибутов цепочки, содержащихся в левой части правила
грамматики. Вычисление значений синтезируемых атрибутов может откладываться
и определяться при выполнении последующих шагов вывода. В общем виде
свойства
АТ-грамматик могут быть сформулированы
следующим образом.
Определение.
Транслирующую грамматику называют атрибутной грамматикой или АТ-грамматикой если: 1. Символам грамматики приписаны
один или несколько атрибутов и для каждого атрибута определено множество
допустимых значений.
|