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

=== Алфавит ===

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

=== Цепочка ===

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

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

образом:

# <math>\epsilon</math> - цепочка в алфавите V;

# если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка в алфавите V;

# <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2).

{{Курс Конструирование Компиляторов}}