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

Версия от 13:43, 2 июня 2012; 128.69.147.150 (Обсуждение)

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

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

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

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