Mili gép

A Mealy gép egy véges állapotú gép, amelynek kimeneti sorrendje (ellentétben a Moore géppel ) a gép állapotától és a bemeneti jelektől függ. Ez azt jelenti, hogy az állapotgráfban minden él valamilyen értéknek (kimeneti szimbólumnak) felel meg. A kimenő jelek a Mealy automata gráfcsúcsaiba íródnak, és az egyik állapotból a másikba való átmenet feltétele, valamint a bejövő jelek a gráf íveihez vannak hozzárendelve. George Mealy matematikus és informatikus után nevezték el , aki feltalálta ezt az automatát.

A Mealy automata az a halmaz , ahol ${\boldsymbol {A=(S,X,Y,\delta ,\lambda ,S_{0)))))$

$S$ az automata állapotok véges, nem üres halmaza ;
$x$ a bemeneti szimbólumok véges, nem üres halmaza;
$Y$ kimeneti szimbólumok véges, nem üres halmaza;
$\delta :S\times X\rightarrow S$ egy átmeneti függvény, amely leképezi az állapot/bemeneti szimbólum párokat a megfelelő következő állapotra;
$\lambda :S\szor X\jobbra Y$ egy kimeneti függvény, amely állapot/bemeneti szimbólum párokat képez le a megfelelő kimeneti szimbólumra;
$S_{0}\S-ben$ a kezdeti állapot.

Mealy gépi kódolás:

A „Start” csúcs utáni (operátor vagy logikai) csúcsot, valamint az „End” csúcs bemenetét S 1 jellel, az operátorok utáni csúcsokat pedig S n (n=2 ) jellel jelöljük. ,3...).

Bemutató

Átmeneti függvénymátrix

$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

Jelmagyarázat

$C_{i}$ — Beviteli szimbólumok;
$q_{i}$ — Belső állapotok
$U_{i}$ , , — Kimeneti szimbólumok. $D_{i}$ $S$
$q_{i}$ / - átmeneti függvény $S$

Lásd még

JFLAP cross-platform automata szimulátor, Turing gépek, nyelvtan, automata gráf rajz
Moore gép versus Mealy gép
Moore géppisztoly

Irodalom

Mealy, George H. A Method to Synthesizing Sequential Circuits . - Bell Systems Technical Journal, 1955. - P. 1045-1079. (Angol)
Roth, Charles H., Jr. A logikai tervezés alapjai . - Thomson-Engineering, 2004. - P. 364 -367. — ISBN 0534378048 . (Angol)