Определение «Формальный язык» по БСЭ: Формальный язык - то же, что Формализованный язык. Иногда под термином «Ф. я.» понимают также формальную систему.
Формальный аксиоматический метод Формальный язык Формат издания