Формальный

Формализованный язык, исходным и неделимым знаком которого сопоставлены слова естественного языка, а правила построения из этих знаков конечных последовательностей соответствуют правилам грамматики естественного языка.

Примечание — В формально-естественном языке обычно выделяются следующие классы слов: слова-наименования объектов, слова, характеризующие отношения между объектами и слова, характеризующие функционирование объектов.

[из 8 приложения 1 ГОСТ 22487-77]

Составляющие свойств данных, не учитывающие мотивы деятельности людей, связанные с качеством данных [из 3.1.15 ГОСТ Р 51170–98]

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

Идентификатор, который объявляется совместно со входом в процедуру и служит для связи с соответствующим фактическим параметром [из 28 табл. 1 ГОСТ 28397—89]