Bc. Vojtěch Hordějčuk

„Určitě se vám už někdy stalo, že jste napsali program a on vám nefungoval.” - F. Zavoral

Domů » Wiki » Sekvenční obvody » Sekvenční obvod typu Mealy

Sekvenční obvod typu Mealy

Sekvenční obvod typu Mealy vychází z definice konečného automatu a zobecněním typu Moore. Liší se od něj pouze tím, že výstup nezávisí jen na vnitřním stavu, ale i na vstupu. Ve formální definici se tato odlišnost projevuje jiným definičním oborem výstupní funkce. U typu Mealy totiž do výstupní funkce vstupuje jako parametr i aktuální prvek vstupní abecedy.

Formální definice

Sekvenční automat typu Mealy je uspořádaná šestice těchto prvků:

  • X – konečná vstupní abeceda (množina vstupních symbolů)
  • Y – konečná výstupní abeceda (množina výstupních symbolů)
  • S – konečná množina vnitřních stavů
  • S0 – výchozí vnitřní stav
  • delta – přechodová funkce
  • omega – výstupní funkce
\begin{align*} A_{moore} &= (X,Y,S,S_0,\delta,\omega) \\ \left| X \right| &< \infty, \left| Y \right| < \infty, \left| S \right| < \infty \\ S_0 &\in S \\ \delta &: S \times X \to S \\ \omega &: S \times X \to Y \end{align}

Kdo byl „G. H. Mealy“

Tento pán patřil k průkopníkům stavových automatů. Jeho koncept se poprvé objevil v díle „A Method for Synthesizing Sequential Circuits“, které publikoval v roce 1955.