Число состояний при преобразовании автомата Мили в эквивалентный ему автомат Мура останется прежним

Мили → Мура:

Ограничение: В автомате Мили не должно быть переходящих состояний, т.е. состояний, в которых имеется хотя бы одна выходящая дуга и не имеется ни одной входящей дуги, так как показано на рис.2.6.

При таком преобразовании число состояний может увеличится.

Рис 2.6 Рис 2.7

В автомате Мура выходной сигнал w_i формируется как функция w_i = λ(a_s), а в автомате Мили —

w_i = λ(a_m, z_f). Причём A_s - текущее состояние автомата, A_m - предыдущее состояние автомата. Таким образом, состояние A_m соответствует группе {a_s}, число которых равно количеству различных выходных сигналов {w_i}, расположенных на входящих дугах. Графическая интерпретация этого показана на рис.2.7.