Конструирование Компиляторов, Теоретический минимум (2012)
Материал из eSyr's wiki.
(Различия между версиями)
128.69.147.150 (Обсуждение)
(Новая: === Алфавит === Алфавит - конечное множество символов === Цепочка === Цепочка в алфавите V - любая конечная ...)
К следующему изменению →
Версия 13:42, 2 июня 2012
Алфавит
Алфавит - конечное множество символов
Цепочка
Цепочка в алфавите V - любая конечная последовательность символов этого алфавита.
Более формально цепочка символов в алфавите V определяется следующим образом:
- ε - цепочка в алфавите V;
- если α - цепочка в алфавите V и a - символ этого алфавита, то αa - цепочка
в алфавите V;
- β - цепочка в алфавите V тогда и только тогда, когда она является таковой
в силу (1) и (2).
