В чем разница между типами конечных автоматов типа Mealy и Moore?
В машине Moore полученный результат связан с текущим состоянием машины и только с ней. Вместо этого в машине Мили это связано как с состоянием, так и с конкретным входом.
С практической точки зрения у вас есть выход, который выводится на состояния в машине Мура (поэтому каждое состояние имеет свой выход), тогда как на последнем вы имеете выходы на переходах (поэтому выход из текущего состояния И исходящий переход)
Выход машины Moore является функцией только состояния машины, Выход машины Mealy зависит от состояния машины и ее входов.
Машины Мура представляют собой дискретные динамические системы, которые могут быть выражены в виде:
x[k+1] = f(x[k], u[k] )
y[k] = g(x[k] )
где x состояние, u вход, y выход, f описывает отношение перехода (дискретную динамику) и g выходную карту (здесь обозначение состояния) и k обозначает время (индекс в последовательности).
Машина Мили имеет несколько более общую форму:
x[k+1] = f(x[k], u[k] )
y[k] = g(x[k], u[k] )
Обратите внимание, что теперь g уже не является меткой состояния, это маркировка границ.
Они не эквивалентны, в частности машины Мура являются строго причинными, тогда как машины Мили не являются.
Подробнее см. Ли и Сешиа, Введение во встроенные системы, LeeSeshia.org, стр .58.
Moore изменяется только после активного тактового импульса, а Melay изменяется после каждого ребра часов ( "если изменяется внешний вход" )