Математическая энциклопедия - формальный язык

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985