absztrakt gép
Abstract Machine (elméletileg algoritmusok) - matematikai absztrakció modell diszkrét eszköz, amelynek egyik bemenetét egy kimeneti és minden alkalommal egy államban több lehetséges. A bemeneti ez az egység fogadja a nyelv kódját, az általa előállított kimeneti jel (általában) más nyelven.
Formálisan, az absztrakt gép definíciója egy ötös
Ahol S - egy véges halmaza az automata, X, Y - véges bemeneti és kimeneti ábécé sorrendben, amelyek úgy keletkeznek a sorok és olvasni kiadott automatikusan, - az átmenet funkció, - a kimeneti függvény.
Egy elvont gép halad kezdeti állapot az úgynevezett kezdeti automata. Így az absztrakt automata meghatározza egy család kezdeti avtomatovEsli átmeneti és kimeneti funkciók egyedileg meghatározni az egyes pár automatikus hívás determinisztikus. Ellenkező esetben ez az úgynevezett nem-determinisztikus automatát vagy részlegesen meghatározott.
Ha az átmeneti függvény és / vagy funkcióját kimenetek véletlen, hogy a készülék az úgynevezett véletlenszerű.
Számának korlátozása absztrakt gép paraméterek meghatározása van olyan dolog, mint egy olyan gép.
A gép működését a generációs két szekvencia: egy sorozat egymást követő állapotok avtomataposledovatelnosti kimeneti szimbólumokat, hogy szekvencia simvolovrazvorachivayutsya diszkrét időpontokban t = 1, 2, 3, ... diszkrét időpontokban nevezzük rudak.
A gép működését diszkrét időpontokban t leírható a rendszer rekurzió kapcsolatok:
Hogy tisztázza a tulajdonságait absztrakt gép bevezetett osztályozás.
Absztrakt automata alkotnak alapvető osztályát diszkrét modellek, mint egy önálló modell, és hogy a fő összetevői a gép Turing, pushdown automaták, véges automaták és egyéb adatok átalakítók.
Absztrakt automata modellt széles körben alkalmazzák, mint az alap konstruálására diszkrét modellek felismerése, konvertáló és generáljuk a szimbólum sorozatot.