Автомат Мура, его связь с автоматом Мили
Автомат S называется автоматом Мура, если функция на выходе, не зависит от сигналов на входе Автоматы Мура и Мили отличаются функцией выходов. y(t) = j(q(t)) – для автомата Мура (z(t)=F(q(t)))
и y(t) = j(q(t-1), x(t)) – для автомата Мили (z(t)=F(q(t-1), x(t)))
Для любого автомата Мили S существует покрывающий его автомат Мура (покр: для любого q из S найдётся эквив q’ из S’) Авт Мура: все стрелки с одним вых сигн. Теорема: Для произвольного автомата Милли может быть построен эквивалентный ему автомат Мура имеющий не более n * m + 1 состояний, где n - число входных сигналов, m - число состояний исходного автомата Милли. Параллельное соединение 2 автоматов.
S1={A1,Q1,V1,G1,F1} S2={A2,Q2,V2,G2,F2} S={A,Q,V,G,F} A=A1=A2 Q=Q1xQ2 V=V1xV2
Последовательное соединение 2 автоматов.
S1={A1,Q1,V1,G1,F1} S2={A2,Q2,V2,G2,F2} S={A,Q,V,G,F} A=A1 Q=Q1xQ2 VcA2, V=V2
|
