Конструирование Компиляторов, Теоретический минимум (2012)
Материал из eSyr's wiki.
(Различия между версиями)
(→Цепочка) |
м |
||
| Строка 11: | Строка 11: | ||
# если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка в алфавите V; | # если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка в алфавите V; | ||
# <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2). | # <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2). | ||
| + | |||
| + | {{Курс Конструирование Компиляторов}} | ||
Версия 18:14, 2 июня 2012
Алфавит
Алфавит - конечное множество символов
Цепочка
Цепочка в алфавите V - любая конечная последовательность символов этого алфавита.
Более формально цепочка символов в алфавите V определяется следующим образом:
- ε - цепочка в алфавите V;
- если α - цепочка в алфавите V и a - символ этого алфавита, то αa - цепочка в алфавите V;
- β - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2).
