Вклад участника
7 декабря 2013
6 ноября 2013
Алгоритм Хопкрофта
Время работы
+233
Алгоритм Хопкрофта
Псевдокод
+17
Алгоритм Хопкрофта
Нет описания правки
+82
Алгоритм Хопкрофта
Псевдокод
+84
Алгоритм Хопкрофта
Простой алгоритм
+52
Алгоритм Хопкрофта
Новая страница: «Пусть дан автомат, распознающий определенный язык. Требуется найти [[ Эквивалентность_со...»
Участник:Warrior
Нет описания правки
+103
4 ноября 2013
26 октября 2013
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
м+128
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
м+168
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Нет описания правки
м+195
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
м+8
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Нет описания правки
м+346
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
м+19
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
м+4
25 октября 2013
24 октября 2013
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+41
Файл:Автомат2.png
Нет описания правки
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
+41
Файл:Автомат1.png
Нет описания правки
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+1085
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
+1039
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Альтернативное доказательство
+6
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Нет описания правки
+1826
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Новая страница: «== Альтернативное доказательство == == Пример == Категория: Теория формальных языков [[Ка...»
18 июня 2013
1pi1sumwu
Доказательство корректности
-9
1pi1sumwu
Доказательство корректности
+32
1pi1sumwu
Постановка задачи
-3
1pi1sumwu
Доказательство корректности
м1pi1sumwu
Доказательство корректности
м-3
16 июня 2013
Участник:Warrior
Новая страница: «Пендряк Арсений, 2538 Контакты: *arseniy1993@mail.ru *pendryak@rain.ifmo.ru Конспекты, в написании которых уч...»
1pi1sumwu
Нет описания правки
-312
12 июня 2013
1pi1sumwu
Доказательство корректности
м-8
1pi1sumwu
Доказательство корректности
+152
1pi1sumwu
Доказательство корректности
+305
1pi1sumwu
Доказательство корректности
+526
1pi1sumwu
Доказательство корректности
+1664
1pi1sumwu
Доказательство корректности
+593
1pi1sumwu
Доказательство корректности
+526
1pi1sumwu
Доказательство корректности
+496
1pi1sumwu
Доказательство корректности
+542
1pi1sumwu
Доказательство корректности
м+8
1pi1sumwu
Доказательство корректности
+1122
1pi1sumwu
Доказательство корректности
м+2
1pi1sumwu
Доказательство корректности
+1065
1pi1sumwu
Доказательство корректности
+1051
1pi1sumwu
Время работы
м-8
