<tex>A_{s} = \{(a_{s}, w_{1}), (a_{s}, w_{2}), (a_{s}, w_{3})\}</tex>.
Для состояния:
Для состояния {| class="table" style="margin-left: 20px; border: 0px solid white"|- | style="background: white; padding: 5px 60px 5px 0" | <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> Для состояния | style="background: white; padding: 5px 60px 5px 0" | <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> Для состояния | style="background: white; padding: 5px 0" | <tex>a_{3}: A3 A_{3} = \{ (a_{3}, w_{1}) \} = b_{5}</tex>|}
В качестве начального состояния результирующего автомата может быть выбрано любое состояние Мура, порожденное начальным состоянием автомата Мили, т.е. состояния <tex>b_{1}</tex> или <tex>b_{2}</tex>.
