Большая Советская энциклопедия
то же, что Формализованный язык. Иногда под термином «Ф. я.» понимают также формальную систему (См. Формальная система).
Большой англо-русский и русско-английский словарь
мат. formal language
Математическая энциклопедия
в математической лингвистике - произвольное множество цепочек (т. е. слов )в нек-ром (конечном или бесконечном) алфавите V (иногда называемом также словарем), т. е. выражений вида 
где 
число k, обычно обозначаемое 
есть длина цепочки 
Рассматривается также пустая цепочка, обозначаемая через 
полагают 
Часто говорят о языке в алфавите V, опуская слово лформальный