Автоматы ( с выходным преобразователем)

Они представляют собой совокупность следующих шести объектов

A = <P , S , s₀ , φ , W , ψ>

W – выходной алфавит

ψ– функция выходов

Существует две математические модели автомата(автомат Мура и Миля) обе мобели можно представить виде двух частей – формулирователь предыстории и выходного преобразователя.

Автомат Мура:

P

В автомате Мура осуществляется отображение S->W, т.е. каждой букве состояния ставится буква выходного алфавита.

W_i = ψ(s_i)

W_i(t+1)=ψ(s(t+1)) – новый выходной символ определяется новым состоянием.

Автомат Миля :

P

осуществляется отображение P*S->W. т.е.

W_k = ψ(P_{i ,} S_j)

W(t+1) = ψ(P(t) _, S(t))

Новое выходное слово в автомате Миля определяется состоянием, в котором был автомат и выходным словом, который поступил на автомат.

Был в состоянии -> поступил в состояние.