211
правок
Изменения
м
→Алгоритм
==Алгоритм==
Основная идея алгоритма заключается в том, чтобы разбить состояния на классы эквивалентности — они и будут состояниями минимального минимизированного автомата. <br>
Для реализации алгоритма нам потребуются очередь <tex>Q</tex> и таблица размером <tex>n \times n</tex>, где <tex>n</tex> — количество состояний автомата. <br>
Будем помечать в таблице пары неэквивалентных состояний и класть их в очередь. <br>
