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

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
м
(Полностью удалено содержимое страницы)
Строка 1: Строка 1:
-
=== Алфавит ===
 
-
Алфавит - конечное множество символов
 
-
=== Цепочка ===
 
-
Цепочка в алфавите V - любая конечная последовательность символов этого алфавита.
 
- 
-
Более формально цепочка символов в алфавите V определяется следующим
 
-
образом:
 
- 
-
# <math>\epsilon</math> - цепочка в алфавите V;
 
-
# если <math>\alpha</math> - цепочка в алфавите V и a - символ этого алфавита, то <math>\alpha a</math> - цепочка в алфавите V;
 
-
# <math>\beta</math> - цепочка в алфавите V тогда и только тогда, когда она является таковой в силу (1) и (2).
 
- 
-
{{Курс Конструирование Компиляторов}}
 

Версия 18:28, 3 июня 2012

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