Минимизация ДКА Мили
В основу метода минимизации состояний автомата положена идея разбиения всех состояний исходного, абстрактного автомата на попарно не пересекающиеся классы эквивалентных состояний и замене каждого класса эквивалентности одним состоянием (представителем данного класса). Образующийся в результате этих преобразований минимальный автомат имеет столько же состояний, на сколько классов эквивалентности разбиваются исходные состояния. Алгоритм При минимизации числа внутренних состояний автомата Мили используется алгоритм Ауфенкампа-Хона: 1...