Osztályozása absztrakt automata
Mint módszer kialakítására izolált kimenet funkciók Lisztes és Moore.
lisztes
A Mealy gép (Engl. Mealy gép) határozza meg, a kimeneti függvény λ értéke a kimeneti jel az a klasszikus rendszert az absztrakt automata. Matematikai modell Lisztes automatát és rekurzív sorozat rendszer nem különbözik a matematikai modellek és rendszerek megismétlődésének kapcsolatok absztrakt gép. Így tudjuk adni a következő definíció:
Véges determinisztikus automatát, mint Miles gyűjteménye öt tárgyak
kommunikációs elemet határoz S. X és Y az absztrakt időben T = 0, 1, 2, ... egyenletek:
(A térképek δ és λ elnevezése, illetve az átmenet a funkciót, A gép kimeneti).
A jellemzője a Mealy automata az, hogy a kimeneti függvény a két-argumentum, és egy szimbólum a kimeneti csatorna y (t) érzékel csak jelenlétében x (t) karakter a bemeneti csatornát. Funkcionális áramkör nem különbözik az absztrakt automata.
Moore Machine
A függőség a kimeneti jel csak az állam szerepel árusító típusú Moore (Engl. Moore gép). A Moore automata kimeneti funkció határozza meg a kimeneti jel értéke csak egy érv - az állam a gép. Ez a funkció az úgynevezett függvényében címkéket, hogy minden állam gép hozza a jelet a kimeneten.
Működési diagram Moore automatát
Véges determinisztikus Moore géptípus egy sor öt objektumok: A = (S. X. Y. δ μ.) >>.
A függőség az államok és a kimeneti jelek idővel a következő egyenletet:
A jellemzője a Moore gép, hogy a szimbólum y (t) a kimeneti csatorna létezik minden alkalommal, amikor a készülék állapotban van s (t).
Bármilyen automata Lisztes Moore ott, amely végrehajtja ugyanazt a funkciót. Megfordítva, bármely Mealy automatát létezik megfelelő Moore automatát (lehetőleg időben eltolt, azaz μ (s (t + 1)) = λ (s (t) x (t)) t ∈ T ..) .
Más osztályok automaták
Érdekes, hogy kiemelje a speciális osztályok automaták. matematikai modellek, amelyek alapján csak a két fuvarozó algebra.
Hagyja | X | = 1. Ekkor a matematikai modell és a rendszer megismétlődésének kapcsolatok a következő formában:
A funkció működésének a gép a termelés a kimeneti szó szimbólum sorozatot csak sorrendjétől függően államok az automata.
Egy ilyen gép az úgynevezett autonóm determinisztikus véges automata.
Minden kezdeti állapotban s (0) = s I 0 >>> _> természetes szám, és T B meghatározza két automatikus szekvencia:
Az állapotgép képes lehet képviseli, mint egy jelátalakító bemeneti szekvenciák egy hétvégén át. Ebben az esetben a kimeneti szekvencia lehet tekinteni generált és bemenet - hogyan képviselje. Nyomtató automatát szekvenciák határozzák több szó által generált ez a gép. Autonóm KDA úgynevezett generatív. ha a keletkezett szó rájuk kerül bemutatásra, mint a kimeneti szekvencia, míg a szekvencia nevezzük az adatok automatikusan generálja.
Működési séma generál az automata
Legyen Y = ∅ >>. Ezután a matematikai modell és a rendszer megismétlődésének kapcsolatok a következő formában:
Osztályozása gépek a karakter a referencia diszkrét idejű
Gép oszlanak szinkron és aszinkron jellegét referencia diszkrét időben.
A szinkrónállapotgépek időpontokban, amikor a gép beolvassa a bemeneti jelek, órajelek határozzák erőszakkal. Miután a következő órajel, figyelembe véve „olvasni”, és összhangban az arányok működéséhez a gép van egy átmenet egy új állam és a kibocsátó a kimenő jel, amely után a készülék tudja fogadni a következő érték a bemenő jelet.
Aszinkron állam gép beolvassa a bemeneti jel folytonos, és ezért elő, hogy egy kellően hosszú bemeneti állandó érték x, akkor az alábbiak szerint a kapcsolatok működését a gép többször is változtatni az állam, amely a megfelelő számú kimeneti jelet, amíg belép a stabil állapot, amelyeket nem lehet változtatni szerint a bemeneti jel.