формальный синтаксис

спецификация правильных предложений формального (машинно-интерпретируемого) языка с применением формальной грамматики [ISO 8000-2:2012, п.6.1]

(англ. formal syntax)