Véges automaták a főbb rendelkezéseit,
A kapcsolati és logikai értékei a kimeneti változók határozzák csak kombinációjával változók a bemenetek egy időben, így hívják őket kombinációs áramkörök. Az általános esetben a kimeneti változók értékei függenek a bemeneti változók nemcsak egy adott időpontban, hanem a korábbi értékeket vagy a kimeneti változók szekvenciája határozza meg a bemeneti értékeket. Reakcióvázlat ezekkel a tulajdonságokkal nevezik következetes.
Ha a bemeneti és kimeneti változók egy véges ábécé, az ilyen rendszereket nevezzük véges automaták.
Ha a kapcsolat a bemeneti és kimeneti változók vannak kifejezve Boole-függvények, az állam gép meghatározott bináris szerkezeti ábécé. Valós körülmények között, a jeleket képviselik folytonos függvények az idő, így megbízhatóan megkülönbözteti jelek igénylik, hogy új értékeket a bemenet után megjelenő tranziens kapcsolódó korábbi értékeket.
Figyelembe véve a szerkezet logikai gépeket általában elvonni, hogy a dinamikus folyamatok, és úgy vélik, hogy a változók módosításához azonnal egy bizonyos időintervallumban nevezett intézkedés (

Óra pillanatokat.

Diszkrét automata ideje:

Kimeneti funkciók szekvenciális áramkörök mint argumentumot, kivéve a bemeneti változók feltétlenül tartalmaznak a több közbenső változók S1. S2, ..., Sk helyzetét jellemző az áramkört.
Az összes lehetséges állapotok, rejlő ebben a rendszerben - egy halmaza.
Így az állam az állam gép bármikor az óra értékek sorozata jellemzi változók, amelyek együttesen az adott értékkel a bemeneti változók, hogy határozza meg a kimeneti változókat ebben a pillanatban az órát, és a mellette álló.
Ezért a gép képesnek kell lennie arra, hogy fenntartsák az előző állapot a következő intézkedés kapcsán, amit az úgynevezett egy automata memóriával. Mivel a memória széles körben használt késleltetési elemek, amelyeknek kimenete bemenet ismételt expozíció time shift közötti intervallumban ütés

Típusú véges automaták
Az állam M gép -
A rendszer véges bemeneti ábécé és a kimeneti ábécé végén egy véges halmaza két karakterisztikus függvények sostoyaniyi




amely érett nazyvayutsyafunktsiyami rendelések és kimeneti funkciók. Következő tömbvázlata az automata adja meg:
Tág értelemben az állam gép - egy matematikai modellt, amely képviseli az fizikai vagy elméleti jelenségek változatos jellegét. A meghatározása az automata 3 részt véges halmazok X, Y, S és 2 funkciók


Automatát, melynek kimeneti változók funkcióit a bemeneti változók és az állam - a gép az első fajta vagy Lisztes.
Automatát, amelynek bemeneti változók függvényében csak az állami - gép a második fajta vagy Moore automata.