Глобальные атрибуты и их использование при определении языков программирования

Рассматриваются глобальные атрибуты–обобщение понятия семантических атрибутов, широко применяемых при формальном определении языков программирования. Доказывается, что при введении в атрибутную схему глобальных атрибутов остается возможность проверки ее корректности. Приводится пример использования глобальных атрибутов.