О формализации некоторых контекстных условий языков программирования

Рассматривается проблема формального описания и анализа контекстных условий языков программирования. Для включения контекстных условий, определяющих правила описания и использования идентификаторов языков типа АЛГОЛ 60, в формально заданный синтаксис этих языков предлагаются два класса грамматик – грамматики с глобальными и локальными контекстными условиями. Описывается синтаксический анализатор для языков, порождаемых грамматиками предложенных классов, который разработан на основе глобального анализатора для контекстно-свободных языков.