Мили
где formula_1, formula_2, formula_3 и formula_4 — соответствуют определению автомата типа Мили, а formula_33 является отображением вида: