173
правки
Изменения
→Переход от автомата Мили к автомату Мура
В данном случае <tex>A_{B} \neq A_{A}</tex>.
При таком переходе (Мили к Мура) каждому состоянию автомата Мили as <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>.
Для состояния <tex>a_{1}: A_{1} = \left \{ \begin {array} {crl} (a_{1}, w_{1}) = b_{1} \\ (a_{1}, w_{2}) = b_{2} \\ \end {array} \right.</tex>
Для состояния <tex>a_{2}: A_{1} = \left \{ \begin {array} {crl} (a_{2}, w_{1}) = b_{3} \\ (a_{2}, w_{2}) = b_{4} \\ \end {array} \right.</tex>
Для состояния <tex>a_{3} : = A3 = \{ (a_{3}, w_{1}) \} = b_{5}</tex>
В качестве начального состояния результирующего автомата может быть выбрано любое состояние Мура, порожденное начальным состоянием автомата Мили, т.е. состояния <tex>b_{1}</tex> или <tex>b_{2}</tex>.
