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