cast automaton

приведённый автомат (абстрактный автомат, никакое из состояний которого не эквивалентно другому его состоянию)