Условие:
Преобразовать автомат Мили в эквивалентный ему автомат Мура. Для полученного автомата Мура построить:
a) отмеченную таблицу переходов;
b) прямую таблицу переходов;
c) обратную таблицу переходов;
d) граф;
e) СКУ и СВФ;
Решение:
Для автомата Мура: 
Построим множество . Для этого найдем множество пар, порождаемых каждым состоянием автомата Мили S. Каждую пару обозначим символами b, b, ...: