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

В предыдущей статье мы рассмотрели, что вообще такое есть математические отношения и какими свойствами они могут обладать. В этой статье мы рассмотрим наиболее важные комбинации упомянутых свойств, которые делают некоторые отношения особенными. Естественно, для понимания данной статьи необходимо прочитать предыдущую. ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ - это всякое РЕФЛЕКСИВНОЕ, СИММЕТРИЧНОЕ и ТРАНЗИТИВНОЕ отношение. Из прошлой статьи и упражнений к ней прикреплённых мы можем вспомнить, что следующие отношения...