Методы взаимной транспозиции автоматов Мили и Мура показывают, что при переходе от автомата Мили к автомату Мура число состояний: всегда увеличивается, всегда уменьшается, изменяется в зависимости от множества состояний исходного автомата, не меняется