Meghatározása egy absztrakt gép
Abstract Machine egy matematikai modell egy diszkrét vezérlő eszköz. Ő adja a sor hat elemből áll:
Z = 1, ..., zf, ..., ZF> bemeneti jelkészlet (bemeneti ábécé);
W = 1, ..., WG, ..., WG> sor kimeneti jelek (output ábécé);
-megkönnyítve funkciók végrehajtására feltérképezése
dd ÍA'Z in A (AS =;
- kimeneti függvény, amely megvalósítja a feltérképezése
a1 ÎA - az eredeti állapot.
Ez az úgynevezett véges automata. ha véges halmaz, Z és W
Automatának nevezzük teljesen minősített. if. azaz a domain a funkciók és egybeesik a készlet minden pár formájában (AM. zf).
A részleges funkcióval gép, vagy nem meghatározható minden pár (am. Zf)ÎA'Z.
A koncepció az állami definíciójában az automata be annak a ténynek köszönhető, hogy gyakran van szükség, hogy leírja a viselkedését rendszerek, amelyek kimenetei függnek nemcsak a állapotainak bemenet egy adott időpontban, hanem egy bizonyos történelem, azaz a jelek érkeznek a bemenetre, mielőtt a rendszer . Állami pontosan megfelelnek a memória a múlt, amely lehetővé teszi, hogy megszüntesse időben, amikor egy explicit változó és kifejezni a kimeneti jel függvényében államok és bemenetek egy adott időpontban.
Abstract készülék rendelkezik egy bemeneti és egy kimeneti csatornán. Minden időpontban t = 0, 1, 2, ... diszkrét idő a gép egy adott állapotban a (t)ÎA. A t = 0, ez mindig a normál állapotban (0) = A1. A t, hogy képes a (t), a gép képes fogadni a bemeneti csatorna jel z (t)ÎZ és kimenet a kimeneti csatorna jel w (t) = L (a (t), Z (t)), egy átmeneti kijelenteni egy (t + 1) = d (a (t), Z (t)), egy ( t)ÎA, W (t)ÎW.
Hogy mit jelent a absztrakt automata fogalom az, hogy létrehozzanak egy leképező a bemeneti ábécé Z szavakat több szó output ábécé W.
A gyakorlatban a legelterjedtebb gép Lisztes és Moore.
Törvény működő Mealy automatát által megadott egyenletek:
A (t + 1) = d (a (t), Z (t)); w (t) = L (a (t), Z (t)), t = 0, 1, 2, ...
Törvény működő Moore FSM:
A (t + 1) = d (a (t), Z (t)); w (t) = l (a (t)), t = 0, 1, 2, ...