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