История
5 января 2015
4 января 2015
→Алгоритм
+4
→Алгоритм
+49
Нет описания правки
+1395
→Доказательство эквивалентности
+5
Нет описания правки
+179
→Алгоритм
+21
20 декабря 2014
19 января 2014
22 января 2013
30 сентября 2012
23 января 2012
21 января 2012
17 января 2012
11 января 2012
8 января 2012
7 ноября 2011
31 октября 2011
27 октября 2011
26 октября 2011
25 октября 2011
→Доказательство эквивалентности
м+1
→Доказательство эквивалентности
м-283
→Алгоритм Томпсона
-13
→Построение эквивалентного ДКА по НКА
-338
21 октября 2011
→Построение эквивалентного ДКА по НКА
+45
→Алгоритм Томпсона
-4
→Доказательство эквивалентности
→Доказательство эквивалентности
-986
Отмена правки 11726 участника 192.168.0.2 (обсуждение)
+1866
→Доказательство эквивалентности
-1866
→Построение эквивалентного ДКА по НКА
+781
→Построение эквивалентного ДКА по НКА
+25
→Доказательство эквивалентности
+350
→Доказательство эквивалентности
+20
→Построение эквивалентного ДКА по НКА
-2171
→Алгоритм систем подмножеств
-38