Атрибуты

Атрибуты
Лексемы и понятия называются грамматическими элементами языка. Правила языка задают не только допустимые отношения между грамматическими элементами (их вхождениями в тексты программ), но и приписывают каждому грамматическому элементу набор характеристик, называемых атрибутами. Атрибуты отражают общность и различие семантических объектов, обозначаемых всевозможными вхождениями данного грамматического элемента. Каждый атрибут характеризуется областью его значений, являющихся атрибутами вхождений соответствующего грамматического элемента. Структура вхождения грамматического элемента вместе с его атрибутами и атрибутами всех составляющих его вхождений грамматических элементов однозначно определяет семантический объект, обозначаемый данным вхождением.
Отношения независимости и включения между синтаксическими значениями вхождений понятий, естественно, переносятся и на сами вхождения, и таким образом каждое вхождение понятия в программу представляет собой некоторую иерархию вхождений понятий и лексем.
В отличие от лексем смысловое значение некоторого вхождения понятия образуется из смысловых значений составляющих его вхождений понятий и лексем.
Наиболее важным из атрибутов, характеризующих в языке семантический объект, является его класс, т. е. информация о том, является ли данный объект операцией, оператором и т. п. В свою очередь в своем классе семантические объекты могут различаться по значениям других (своих собственных) атрибутов, например, данные в языке (элементы памяти исполняющей машины) делятся на константы, значение которых постоянно, и переменные; переменные различаются своими именами (адресами) и типами (множествами допустимых значений); операции различаются по их именам, типам операндов и т.д.