Anglais ⇄ Russe +

syntax specification contraintes
progr.	спецификация синтаксиса (выполняется на специализированном метаязыке типа BNF ssn); формализованное описание синтаксиса (ssn)