Mili stroj

Mealyho stroj je konečný stavový stroj, jehož výstupní sekvence (na rozdíl od Moorova stroje ) závisí na stavu stroje a vstupních signálech. To znamená, že ve stavovém grafu každá hrana odpovídá nějaké hodnotě (výstupnímu symbolu). Odchozí signály se zapisují do vrcholů grafu automatu Mealy a do oblouků grafu se přiřadí podmínka přechodu z jednoho stavu do druhého a také signály příchozí. Pojmenován po George Mealym , matematikovi a počítačovém vědci, který tento automat vynalezl.

Automat Mealy je sada , kde ${\boldsymbol {A=(S,X,Y,\delta ,\lambda ,S_{0)))))$

$S$ je konečná neprázdná množina stavů automatu;
$X$ je konečná neprázdná množina vstupních symbolů;
$Y$ je konečná neprázdná množina výstupních symbolů;
$\delta :S\krát X\šipka doprava S$ je přechodová funkce, která mapuje páry stav/vstupní symbol do odpovídajícího dalšího stavu;
$\lambda :S\krát X\šipka doprava Y$ je výstupní funkce, která mapuje páry stav/vstupní symbol na odpovídající výstupní symbol;
$S_{0}\v S$ je výchozí stav.

Strojové kódování Mealy:

Vrchol (operátor nebo logický) za vrcholem „Start“, stejně jako vstup vrcholu „End“ je označen symbolem S 1 , vrcholy za operátory jsou označeny symbolem S n (n=2 ,3..).

Prezentace

Matice přechodových funkcí

$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

Legenda

$C_{i}$ — Zadávání znaků;
$Qi}$ — Vnitřní stavy
$U_{i}$ , , — Výstupní symboly. $D_{i}$ $S$
$Qi}$ / - přechodová funkce $S$

Viz také

Simulátor multiplatformního automatu JFLAP , Turingovy stroje, gramatika, kreslení grafů automatů
Stroj Moore versus stroj Mealy
Samopal Moore

Literatura

Mealy, George H. Metoda syntézy sekvenčních obvodů . - Bell Systems Technical Journal, 1955. - S. 1045-1079. (Angličtina)
Roth, Charles H., Jr. Základy logického návrhu . - Thomson-Engineering, 2004. - S. 364 -367. — ISBN 0534378048 . (Angličtina)