Изменения

При таком переходе (Мили к Мура) каждому состоянию автомата Мили <tex>a_{s}</tex> ставится в соответствие множество всевозможных пар <tex>a_{s} \rightarrow A_{s} = \{( a_{s}, w_{g}) | a_{s} = \delta(a_{m}, z_{f}), w_{g} = \lambda(a_{m}, z_{f})\}</tex>, где <tex>a_{s}</tex> есть функция <tex>\delta</tex> от состояния и входного сигнала, <tex>w_{g}</tex> функция <tex>\lambda</tex> от состояния и входного сигнала.

<tex>A_{s} = \{(a_{s}, w_{1}), (a_{s}, w_{2}), (a_{s}, w_{3})\}</tex>.