Конструирование Компиляторов, Теоретический минимум (2012)

Материал из eSyr's wiki.

Алфавит

Алфавит - конечное множество символов

Цепочка

Цепочка в алфавите V - любая конечная последовательность символов этого алфавита.

Более формально цепочка символов в алфавите V определяется следующим образом:

1. ε - цепочка в алфавите V;
2. если α - цепочка в алфавите V и a - символ этого алфавита, то αa - цепочка в алфавите V;
3. β - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2).