Почему же эта и следующая статьи так похожи?: {{tick}} добавить алгоритм проверки автоматов на эквивалентность (использующий минимизацию автоматов);--[[Участник:Roman KolganovSementry|Roman KolganovМейнстер Д.]] 1023:1109, 22 января 8 декабря 2012 (MSKGST)
