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

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

Версия от 13:42, 2 июня 2012; 128.69.147.150 (Обсуждение)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Алфавит

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

Цепочка

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

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

  1. ε - цепочка в алфавите V;
  2. если α - цепочка в алфавите V и a - символ этого алфавита, то αa - цепочка

в алфавите V;

  1. β - цепочка в алфавите V тогда и только тогда, когда она является таковой

в силу (1) и (2).

Получено с http://esyr.name/wiki/%D0%9A%D0%BE%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%9A%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80%D0%BE%D0%B2%2C_%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%BC%D0%B8%D0%BD%D0%B8%D0%BC%D1%83%D0%BC_%282012%29
Личные инструменты
Разделы