Mooreův stroj

Mooreův stroj nebo také automat typu Moore je v informatice označení pro konečný automat s výstupem, u kterého se změna na vstupu projeví na výstupu až v následujícím stavu. Výstupní funkce jsou tedy funkcemi pouze vnitřního stavu. Jeho obdobou je Mealyho automat, u něhož je ale výstup generován nejen na základě stavu, ve kterém se automat nachází, ale i na základě příchozího vstupu.

Formální definice

Mooreův automat lze popsat jako uspořádanou šestici ${\displaystyle (Z,Q,Y,\Phi ,\Psi ,q)}$, kde:

• Z = {z₁, z₂, ... ,z_n} – konečná vstupní abeceda
• Q = {q₁, q₂, ... ,q_n} – neprázdná konečná množina stavů proměnlivých v čase
• Y = {y₁, y₂, ... ,y_n) - konečná výstupní abeceda
• Φ = q(t+1) = Φ[q(t), z(t)] – přechodová funkce
• Ψ = y(t) = Ψ[q(t)] – výstupní funkce, záleží na stavu, ve kterém se automat nachází
• q – počáteční stav z množiny Q.

Převod Moore → Mealy

Moore

Vyplním výstupní funkce X1 a X2 Mealyho podle výstupní funkce X Moore cílového stavu

Mealy

Odkazy

Literatura

• Doc. Ing. Jiří Bayer, CSc; Dr.Ing. Zdeněk Hanzálek; Ing. Richard Šusta: Logické systémy pro řízení, Vydavatelství ČVUT, Fakulta elektrotechnická, Praha, 2000, ISBN 80-01-02147-5

Související články

• Booleova algebra a logika
• Karnaughova mapa
• Programování
• Sekvenční obvod

Externí odkazy

• Obrázky, zvuky či videa k tématu Mooreův stroj na Wikimedia Commons