Формальный (formal) —

Выраженный на языке с синтаксисом ограниченным и определенной семантикой, основанной на установившихся понятиях математических [ ГОСТ Р ИСО/МЭК 15408-1-2008 ].