Преобразовать заданный в п 1 автомат Мили в эквивалентный ему автомат Мура

Для автомата Мура: Z / = Z = {z1, z2};
W / = W = {w1, w2, w3, w4, w5}.
Построим множество А /. Для этого найдем множество пар, порождаемых каждым состоянием автомата Мили S. Каждую пару обозначим символами b1, b2, ...:
A1 = {(a1, w2)} = {b1};
A2 = {(a2, w4)} = {b2};
A3 = {(a3, w3), (a3, w5)} = {b3, b4};
A4 = {(a4, w1), (a4, w2)} = {b5, b6}.
A / = {b1, b2, b3, b4, b5, b6}.
Для определения функции  / с каждым состоянием вида (as, wg), представляющим собой пару, отождествим выходной сигнал, являющийся вторым элементом этой пары:
 /(b1) = /(b6) = w2;
 /(b2) = w4;
 /(b3) = w3;
 /(b4) = w5;
 /(b5) = w1.
Построение функции  /. Так как в автомате Мили S есть переход из состояния a3 под действием сигнала z1, в состояние a1 с выдачей w2, то из множества состояний A3 = {b3, b4}, порождаемых а3 в автомате S / должен быть переход в состояние (a1, w2) = b1 под действием сигнала z1 . Из состояний множества A3 = {b3, b4} также должен быть переход в состояния множества A4 = {b5, b6} под действием сигнала z2 с выходным сигналом w2.
Аналогично из множества состояний A4 = {b5, b6}, порождаемых а4 в автомате S / должен быть переход в состояния множества A3 = {b3, b4} под действием сигнала z2 с выходным сигналом w3. Также должен быть переход в состояние (a2, w4) = b2 под действием сигнала z1.
Для полученного автомата Мура построим отмеченную таблицу переходов (табл