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