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