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

в математической лингвистике - произвольное множество цепочек (т. е. слов)в нек-ром (конечном или бесконечном) алфавите V (иногда называемом также словарем), т. е. выражений вида [img: http://localhost:8080/file/052208-45.jpg] где [img: http://localhost:8080/file/052208-46.jpg] число k, обычно обозначаемое [img: http://localhost:8080/file/052208-47.jpg] есть длина цепочки [img: http://localhost:8080/file/052208-48.jpg] Рассматривается также пустая цепочка, обозначаемая через [img: http://localhost:8080/file/052208-49.jpg] полагают [img: http://localhost:8080/file/052208-50.jpg] Часто говорят о языке в алфавите V, опуская слово лформальный