Вид синтаксически управляемого определения

Синтаксически управляемые определения

Синтаксически управляемое определение представляет собой обобщение контекстно-свободной грамматики, в которой каждый грамматический символ имеет связанное множество атрибутов — синтезируемые и наследуе­мые атрибуты. Если рассматривать узел грамматическо­го символа в дереве разбора как запись с полями для хранения информации, то атрибут соответствует имени поля.

Атрибут может представлять собой все, что угодно, — строку, число, тип, адрес памяти и т.д. Значение атрибута в узле дерева разбора определяется семантическими правилами, связанными с используемой в данном узле продукцией.

Значение синтезируемого атрибута в узле вычисляется по значениям атрибутов в дочерних по отношению к данному узлах.

Значения наследуемых атрибутов определяются значениями атрибутов соседних (т.е. узлов, дочерних по отношению к родительскому узлу данного) и родительского узлов.

Семантические правила определяют зависимости между атрибутами, которые пред­ставляются графом. Граф зависимости определяет порядок выполнения семантических правил, что в свою очередь дает значения атрибутов в узлах дерева разбора входной строки. Семантические правила могут иметь и побочные действия, например вывод зна­чения или изменение глобальной переменной. Естественно, при реализации не обяза­тельно явным образом строить дерево разбора или граф зависимостей; главное, чтобы для каждой входной строки выполнялись верные действия в правильном порядке.

Дерево разбора, показывающее значения атрибутов в каждом узле, называется анно­тированным, а процесс вычисления значений атрибутов в узлах дерева— аннотирова­нием дерева разбора.

В синтаксически управляемом определении каждая продукция грамматики А → αимеет связанное с ней множество семантических правил вида

b:=f(с₁, с₂, …,с_k), где f — функция, с₁ с₂,…,с_к — атрибуты грамматических символов продукции, а b — синтези­руемый атрибут символа А или наследуемый атрибут одного из грамматических симво­лов правой части продукции.

В любом случае атрибут b зависит от атрибутов с₁, с₂, …,с_k.

Атри­бутная грамматика является синтаксически управляемым определением, в котором функции в семантических правилах не имеют побочных эффектов.

Функции в семантических правилах зачастую записываются как выражения. Иногда единственная цель семантического правила в синтаксически управляемом определении состоит именно в создании побочного эффекта. Такие семантические правила записывают­ся как вызовы процедур или фрагменты программ. Их можно рассматривать как правила, определяющие значения фиктивных синтезируемых атрибутов нетерминала в левой части связанной продукции; фиктивный атрибут и знак присвоения: = при этом не указываются.

Дата добавления: 2014-12-27