Вклад участника
24 июня 2022
Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Алгоритм Хопкрофта
м+5
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Построение эквивалентного ДКА по НКА
-1
22 июня 2022
8 июня 2022
4 июня 2022
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Псевдокод
м+7
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Корректность
м-4
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Описание
м-5
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Доказательство эквивалентности
м+4
Построение по НКА эквивалентного ДКА, алгоритм Томпсона
Доказательство эквивалентности
м+2