Формальный

Формально-естественный язык по ГОСТ 22487-77

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

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

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

Подписка на Формальный