Tartalomjegyzék:
Meghatározás - Mit jelent az State Machine?
Az állapotgép egy fogalom, amelyet számítógépes programok vagy digitális logika tervezéséhez használnak. Az állapotgépeknek két típusa létezik: véges és végtelen állapotú gépek. Az előbbi véges számú állapotból, átmenetből és műveletekből áll, amelyek modellezhetők folyamatábrákkal, ahol a logika útja felismerhető, ha a feltételek teljesülnek. Ez utóbbi gyakorlatilag nem használatos.
Államgép bármilyen eszköz, amely egy adott időpontban valami állapotát tárolja. Az állapot megváltozik a bemenetek alapján, biztosítva az eredményül kapott eredményt a végrehajtott változtatásokhoz. A véges állapotú gépnek véges belső memóriája van. A bemeneti szimbólumokat olyan sorrendben olvassa le, amely felhasználói felület formájában adja meg a kimeneti funkciót.
Az állami gépeket az ábrák ábrázolják. Az állapotgép kimenete a bemenet és az aktuális állapot függvénye. Az állami gépek jelentős szerepet játszanak olyan területeken, mint az elektrotechnika, a nyelvészet, a számítástechnika, a filozófia, a biológia, a matematika és a logika. Ezeket a legjobban alkalmazási viselkedés modellezésében, szoftverfejlesztésben, digitális hardver rendszerek, hálózati protokollok, fordítók tervezésében, valamint a számítás és a nyelvek tanulmányozásában használják.
A Techopedia magyarázza az State Machine-t
Az állapotgép működése a start állapotból indul. Sikeres átmenet esetén elfogadható állapotba kerül. Az átmenet a megadott bemenetek alapján zajlik. Az aktuális állapot a rendszer korábbi állapotától függ. A kialakított állapotok száma a rendelkezésre álló memóriaállapotoktól függ. Az átmenet bizonyos feltételek alapján engedélyezve van, és az állapotváltozást jelzi. Egy akció az adott pillanatban végzett tevékenységet írja le. A műveletek különféle típusai: átmeneti, bemeneti, belépési és kilépési műveletek.
A determinisztikus automatáknak pontosan egy átmenet van minden állapotban minden lehetséges bemenetre. Nem determinisztikus automatákban az állapotbemenet egy, sok átmenetet vagy egyáltalán nem eredményez átmenetet. Az egyetlen állapotú állapotgépet kombinatorikus állapotgépnek nevezzük, és csak bemeneti műveleteket használ.
Az állapotgépek két különféle csoportja elfogadó és átalakító. Az elfogadók bináris kimenetet állítanak elő annak alapján, hogy a bemenetet a gép elfogadja vagy elutasítja. A bemenet feldolgozása közben, ha az aktuális állapot elfogadásra kerül, a bemenet elfogadásra kerül. Egyébként elutasítják. Az állami gépek által elfogadott nyelveket normál nyelveknek nevezzük. A kezdő állapotokat bárhonnan mutató nyíl jelzi, míg az elfogadott állapotokat dupla körökkel ábrázoljuk. Az átalakítók egy adott bemeneten alapuló kimenetet látnak el műveletekkel. A Moore és a Mealy gépek példái az átalakítóknak.
A módosítatlan modellezési nyelvállapot-gépeket szintén széles körben használják, mivel mind a Moore, mind a Mealy gép tulajdonságaival rendelkeznek. További fogalmakat tartalmaznak, például ortogonális régiók és hierarchikusan beágyazott állapotok.
