Формализованный язык, исходным и неделимым знаком которого сопоставлены слова естественного языка, а правила построения из этих знаков конечных последовательностей соответствуют правилам грамматики естественного языка.
Примечание — В формально-естественном языке обычно выделяются следующие классы слов: слова-наименования объектов, слова, характеризующие отношения между объектами и слова, характеризующие функционирование объектов.
[из 8 приложения 1 ГОСТ 22487-77]