Синтаксически-управляемые трансляции, задаваемые в виде трансляци­онной грамматики, являются хорошей моделью преобразования синтакси­ческого дерева программы. Однако они не позволяют описывать семантические соглашения (контекстные условия) в языке программирова­ния. Формальным аппаратом, позволяющим учитывать контекстные усло­вия при отображении синтаксического дерева в объектную программу, являются атрибутные трансляционные грамматики (АТ-грамматики). Вос­произведем основные понятия, свойственные этому аппарату, и основные результаты, используемые в компиляции.