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