Cuprins:
Definiție - Ce înseamnă State Machine?
O mașină de stat este un concept utilizat în proiectarea programelor de calculator sau logică digitală. Există două tipuri de mașini de stat: mașini cu stare finită și infinită. Primul este format dintr-un număr finit de stări, tranziții și acțiuni care pot fi modelate cu grafice de flux, unde calea logicii poate fi detectată atunci când sunt îndeplinite condițiile. Acesta din urmă nu este practic utilizat.
O mașină de stare este orice dispozitiv care stochează starea a ceva la un moment dat. Modificările de stare se bazează pe intrări, oferind rezultatul rezultat pentru modificările implementate. O mașină cu stare fină are memorie internă finită. Simbolurile de intrare sunt citite într-o secvență care produce o caracteristică de ieșire sub forma unei interfețe de utilizator.
Mașinile de stat sunt reprezentate folosind diagrame de stare. Ieșirea unei mașini cu stare este o funcție a intrării și a stării actuale. Mașinile de stat joacă un rol semnificativ în domenii precum inginerie electrică, lingvistică, informatică, filozofie, biologie, matematică și logică. Acestea sunt cele mai utilizate în modelarea comportamentului aplicațiilor, ingineriei software, proiectării sistemelor digitale hardware, protocoalelor de rețea, compilatoarelor și studiului calculelor și limbajelor.
Techopedia explică State Machine
Funcționarea unei mașini de stat începe de la o stare de pornire. La o tranziție de succes, ajunge într-o stare de acceptare. Tranziția are loc pe baza intrărilor furnizate. Starea actuală depinde de starea trecută a sistemului. Numărul de stări formate depinde de stările de memorie disponibile. O tranziție este activată pe baza anumitor condiții și indică o schimbare de stare. O acțiune descrie o activitate desfășurată în momentul dat. Diferitele tipuri de acțiuni sunt acțiunea de tranziție, acțiunea de intrare, acțiunea de intrare și acțiunea de ieșire.
Automatele deterministe au exact o tranziție în fiecare stare pentru fiecare intrare posibilă. În automate nedeterministe, o intrare de stare duce la una, multe sau deloc tranziții. O mașină de stat cu o singură stare se numește mașină de stare combinatorie și folosește doar acțiuni de intrare.
Cele două grupuri diferite de mașini de stat sunt acceptoare și traductoare. Acceptorii produc o ieșire binară, bazată pe dacă intrarea este acceptată sau respinsă de mașină. În timpul procesării intrării, dacă starea actuală acceptă, intrarea este acceptată. În caz contrar, este respins. Limbile acceptate de aparatele de stat se numesc limbi obișnuite. Stările de pornire sunt reprezentate printr-o săgeată indicând pe ea de oriunde, în timp ce statele acceptate sunt reprezentate folosind cercuri duble. Traductoarele asigură ieșirea pe baza unei intrări date, folosind acțiuni. Mașinile Moore și Mealy sunt exemple de traductoare.
Mașinile de stare a limbajului de modelare nemodificate sunt de asemenea utilizate pe scară largă, deoarece au atât caracteristicile mașinii Moore, cât și Mealy. Acestea includ concepte suplimentare, cum ar fi regiunile ortogonale și statele cuiburi ierarhic.
