Автоматы Мура и Мили. Детерминированные и детерминированные автоматы.

Автомат Мили это абстрактный автомат, законы функционирования которого представлены следующим образом:

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).