История
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
→Алгоритм систем подмножеств
+189
→Алгоритм систем подмножеств
+2
→Алгоритм систем подмножеств
+2
→Алгоритм систем подмножеств
+2
→Алгоритм систем подмножеств
+249
→Алгоритм
-25