Конструирование Компиляторов, Теоретический минимум (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 определяется следующим образом:

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


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


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

пн пн пн пн пн
Февраль
12 19 26
Март
05 12 19 26
Апрель
02 09 16 23 30
Май
07 14 21 28

Материалы к экзамену
Проведение экзамена | Определения | Теормин: 2007, 2009, 2012 | Алгоритмы решения задач

Личные инструменты
Разделы