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

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