Előfeltétel – Lisztes-t, a Gépek
Lisztes Gép – Egy lisztes gép határozza meg, mint egy gép elmélet számítás, amelynek kimeneti értékek határozzák meg mind a jelenlegi, valamint az aktuális bemenet. Ebben a gépbenleginkább egy átmenet lehetséges.,
van 6 párok: (Q, q0, ∑, O, δ, λ’)
Q véges államok
q0 a kezdeti állami
∑ a bemeneti ábécé
O a kimeneti ábécé
δ az átmeneti függvény, amely térképek Q×∑ → Q
‘, λ’ a kimeneti funkció, amely térképek Q×∑→ O
a Diagram –
Moore Gép – A moore gép határozza meg, mint egy gép elmélet számítás, amelynek kimeneti értékek határozzák meg, amelyet csak a jelenlegi állam.,
Ez is 6 párok: (Q, q0, ∑, O, δ, λ)
Q véges államok
q0 a kezdeti állami
∑ a bemeneti ábécé
O a kimeneti ábécé
δ az átmeneti függvény, amely térképek Q×∑ → Q
λ a kimeneti funkció, amely térképek Q → O
a Diagram –
Moore Gép –
- Kimeneti attól függ, csak a jelenlegi állapotában.
- ha a bemenet megváltozik, a kimenet megváltozik.
- több államra van szükség.
- kevesebb hardverkövetelmény van az áramkör megvalósítására.,
- lassabban reagálnak a bemenetekre (egy órajelciklus később).
- szinkron kimenet és állapotgenerálás.
- kimenet kerül Államok.
- könnyen tervezhető.
Mealy Machine –
- kimenet függ a jelenlegi állapot, valamint a jelenlegi bemenet.
- ha a bemenet megváltozik, a kimenet is megváltozik.
- kevesebb államra van szükség.
- több hardverkövetelmény van az áramkör megvalósítására.
- gyorsabban reagálnak a bemenetekre.
- aszinkron kimeneti generáció.,
- kimenet kerül átmenetek.
- nehéz megtervezni.