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

(Различия между версиями)

Версия 13:43, 2 июня 2012

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

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

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

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

@@ Строка 9: / Строка 9: @@
 # <math>\epsilon</math> - цепочка в алфавите V;
-# если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка
+# если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка в алфавите V;
-в алфавите V;
+# <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2).
-# <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой
-в силу (1) и (2).