Формальный Язык

В математической лингвистике — произвольное множество цепочек (т. е. слов )в нек-ром (конечном или бесконечном) алфавите V (иногда называемом также словарем), т. е. выражений вида где число k, обычно обозначаемое есть длина цепочки Рассматривается также пустая цепочка, обозначаемая через полагают Часто говорят о языке в алфавите V, опуская слово лформальный

Значения в других словарях

1. Формальный язык — То же, что Формализованный язык. Иногда под термином «Ф. я.» понимают также формальную систему (См. Формальная система).  Большая советская энциклопедия