Большая Советская Энциклопедия
то же, что формализованный язык . Иногда под термином «Ф. я.» понимают также формальную систему .
Википедия
Формальный язык в математической логике и информатике — множество конечных слов над конечным алфавитом . Понятие языка чаще всего используется в теории автоматов , теории вычислимости и теории алгоритмов . Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков .
В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью , а также множества переменных . Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.