Mili maskine

Mealy - maskinen er en finite state-maskine, hvis outputsekvens (i modsætning til Moore-maskinen ) afhænger af maskinens tilstand og inputsignalerne. Det betyder, at i tilstandsgrafen svarer hver kant til en eller anden værdi (outputsymbol). Udgående signaler skrives til grafens hjørnepunkter på Mealy-automaten, og tilstanden for overgang fra en tilstand til en anden, såvel som indgående signaler, tildeles grafens buer. Opkaldt efter George Mealy , en matematiker og datalog, der opfandt denne automat.

Mealy automaten er sættet , hvor ${\fedsymbol {A=(S,X,Y,\delta,\lambda,S_{0)))))$

$S$ er et endeligt ikke-tomt sæt af automattilstande;
$x$ er et endeligt ikke-tomt sæt af inputsymboler;
$Y$ er et endeligt ikke-tomt sæt af outputsymboler;
$\delta :S\ gange X\højrepil S$ er en overgangsfunktion, der kortlægger tilstand/input symbolpar til den tilsvarende næste tilstand;
$\lambda :S\ gange X\højrepil Y$ er en udgangsfunktion, der afbilder tilstand/input symbolpar til det tilsvarende outputsymbol;
$S_{0}\i S$ er den oprindelige tilstand.

Mealy maskine kodning:

Toppunktet (operator eller logisk) efter "Start" toppunktet, såvel som input af "End" toppunktet er markeret med symbolet S 1 , hjørnerne efter operatorerne er markeret med symbolet S n (n=2 ,3..).

Præsentation

Overgangsfunktionsmatrix

$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

Forklaring

$C_{i}$ — Indtastningssymboler;
$q_{i}$ - Interne tilstande
$U_{i}$ , , — Udgangssymboler. $D_{i}$ $S$
$q_{i}$ / - overgangsfunktion $S$

Se også

JFLAP cross-platform automat simulator, Turing maskiner, grammatik, automat graftegning
Moore-maskine versus Mealy-maskine
Moore maskinpistol

Litteratur

Mealy, George H. En metode til at syntetisere sekventielle kredsløb . - Bell Systems Technical Journal, 1955. - P. 1045-1079. (Engelsk)
Roth, Charles H., Jr. Grundlæggende om logisk design . - Thomson-Engineering, 2004. - S. 364 -367. — ISBN 0534378048 . (Engelsk)