Частичные автоматы
Другими словами la(ai, xj) = lb(db(ai, xj)). Таким образом таблица переходов автоматов Мили и Мура совпадают. А таблица выходов эквивалентного автомата Мили строится так, что в каждую клетку таблицы записывается выходной сигнал, которым отмечено состояние, расположенное в данной клетке.
Например.Пусть дан автомат Мура:
|
xj\yi |
y1 |
Y1 |
y3 |
y2 |
y3 |
|
a0 |
A1 |
a2 |
a3 |
a4 |
|
|
x1 |
a1 |
A4 |
a4 |
a2 |
a2 |
|
x2 |
a3 |
A1 |
a1 |
a0 |
a0 |
Тогда эквивалентный ему автомат Мили имеет следующую совмещенную таблицу переходов и выходов.
|
a0 |
a1 |
a2 |
a3 |
a4 |
|
|
x1 |
a1/y1 |
a4/ y3 |
a4/ y3 |
a2/ y3 |
a2/ y3 |
|
x2 |
a3/ y2 |
a1/ y1 |
a1/ y1 |
a0/ y1 |
a0/ y1 |