Mili Machine

Mașina Mealy este o mașină cu stări finite a cărei secvență de ieșire (spre deosebire de mașina Moore ) depinde de starea mașinii și de semnalele de intrare. Aceasta înseamnă că în graficul de stare, fiecare muchie corespunde unei anumite valori (simbol de ieșire). Semnalele de ieșire sunt scrise pe vârfurile graficului automatului Mealy, iar condiția de tranziție de la o stare la alta, precum și semnalele de intrare, sunt atribuite arcurilor graficului. Numit după George Mealy , un matematician și informatician care a inventat acest automat.

Automatul Mealy este setul , unde ${\boldsymbol {A=(S,X,Y,\delta,\lambda,S_{0)))))$

$S$ este un set finit nevid de stări automate;
$X$ este un set finit nevid de simboluri de intrare;
$Y$ este un set finit nevid de simboluri de ieșire;
$\delta :S\time X\rightarrow S$ este o funcție de tranziție care mapează perechile de simbol de stare/intrare la starea următoare corespunzătoare;
$\lambda :S\time X\rightarrow Y$ este o funcție de ieșire care mapează perechile de simbol de stare/intrare la simbolul de ieșire corespunzător;
$S_{0}\în S$ este starea inițială.

Codificarea mașinii de făină:

Vârful (operator sau logic) după vârful „Start”, precum și intrarea vârfului „Sfârșit” este marcat cu simbolul S 1 , vârfurile după cele operator sunt marcate cu simbolul S n (n=2). ,3..).

Prezentare

Matricea funcției de tranziție

$S$ / $X$	$C_{1}$	$C_{2}$	$C_{3}$
q 1	q 1 / S	q 2 / U 1	q 3 / U 2
q2 _	q 1 / D 1	q 2 / S	q 3 / U 1
q 3	q 1 / D 2	q 2 / D 1	q 3 / S

Legendă

$C_{i}$ — Simboluri de intrare;
$q_{i}$ — Stări interne
$U_{i}$ , , — Simboluri de ieșire. $D_{i}$ $S$
$q_{i}$ / - funcția de tranziție $S$

Vezi și

Simulator de automată multiplatformă JFLAP , mașini Turing, gramatică, desen grafic automat
Mașina Moore versus mașina Mealy
Pistol-mitralieră Moore

Literatură

Mealy, George H. A Method to Synthesizing Sequential Circuits . - Revista tehnică Bell Systems, 1955. - P. 1045-1079. (Engleză)
Roth, Charles H., Jr. Fundamentele designului logic . - Thomson-Engineering, 2004. - P. 364 -367. — ISBN 0534378048 . (Engleză)