Автомат Мили это абстрактный автомат, законы функционирования которого представлены следующим образом:
s(t+1) = δ(s(t), x(t))
y(t) = λ(s(t), x(t))
- t – текущий момент времени;
- t+1 – следующий момент времени;
- s(t+1) – состояние автомата в следующий момент времени;
- s(t), x(t), y(t) – элементы описания автомата в текущий момент времени.
Автомат Мили это абстрактный автомат, законы функционирования которого представлены следующим образом:
s(t+1) = δ(s(t), x(t))
y(t) = λ(s(t))
- В модели Мура выходной сигнал явно зависит только от состояния, а косвенно – и от входного сигнала, т.е. λ: S®Y
- Любой автомат можно спроектировать по той или иной модели.
Детерминированный автомат – автомат, в котором имеется полная определенность переходов из всех состояний в зависимости от входных сигналов (под действием одного и того же сигнала автомат не может переходить из любого рассматриваемого состояния в различные состояния). В таблице переходов детерминированного полностью определенного автомата запалены все ячейки, и в каждой ячейки находится ровно одно значение. На графе переходов детерминированного автомата из каждой вершины исходит только одна дуга, помеченная входным сигналом x (xÎX).
