МЕТАЯЗЫК

— язык, применяемый для исследования и описания некоторого класса языков. Широкое применение М. для строгого (формального) описания синтаксиса языков программирования позволило разработать алгоритмы синтаксического контроля и анализа программ и тем самым привело к существенному упрощению отладки программ (см. Отладочные программы), а также создало предпосылки для реализации параметрически управляемых (в частности, синтаксически управляемых) трансляторов, ориентированных на классы входных — выходных языков. Примерами М. являются грамматики Хомского и их частный случай Вэкуса нормальная форма.

А. Е. Иулипкович.