Обсуждение:Эквивалентность состояний ДКА

☑ добавить алгоритм проверки автоматов на эквивалентность (использующий минимизацию автоматов);

Вроде все хорошо, только напиши, что в автомате [math] A [/math] можно взять любое из состояний [math] s_1, s_2 [/math] в качестве стартового, а то из картинки это непонятно. --Мейнстер Д. 20:11, 15 января 2013 (GST)

--Мейнстер Д. 23:09, 8 декабря 2012 (GST)