A = {a1 … aN} — множество значений состояний устройства
Z = {z1 … zN} — множество входных управляющих сигналов
W = {w1 … wN}— множество выходных сигналов
δ — функция переходов от текущего состояния аn в следующее состояние an+1
λ — функция зависимости выходов от значений аn и zn
а1 — начальное состояние автомата
Автомат Мили
an+1 = δ(an, zn)
wn = λ(an, zn)
Автомат Мура
an+1 = δ(an, zn)
wn = λ(an)