Изменения

Перейти к: навигация, поиск

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

378 байт добавлено, 19:11, 15 января 2013
м
Нет описания правки
: {{tick|ticked=1}} добавить алгоритм проверки автоматов на эквивалентность (использующий минимизацию автоматов);:: Вроде все хорошо, только напиши, что в автомате <tex> A </tex> можно взять любое из состояний <tex> s_1, s_2 </tex> в качестве стартового, а то из картинки это непонятно. --[[Участник:Sementry|Мейнстер Д.]] 20:11, 15 января 2013 (GST)
--[[Участник:Sementry|Мейнстер Д.]] 23:09, 8 декабря 2012 (GST)
689
правок

Навигация