Taula de continguts:
Definició: què significa State Machine?
Una màquina estatal és un concepte utilitzat en el disseny de programes informàtics o de lògica digital. Hi ha dos tipus de màquines d’estat: màquines d’estat finit i infinit. El primer està format per un nombre finit d'estats, transicions i accions que es poden modelar amb gràfics de flux, on es pot detectar el camí de la lògica quan es compleixen les condicions. Aquest últim no s’utilitza pràcticament.
Una màquina d'estat és qualsevol dispositiu que emmagatzema l'estat d'alguna cosa en un moment determinat. Els canvis d’estat es basen en entrades, proporcionant la sortida resultant dels canvis implementats. Una màquina d'estat finit té una memòria interna finita. Els símbols d'entrada es llegeixen en una seqüència que produeix una característica de sortida en forma d'interfície d'usuari.
Les màquines estatals es representen mitjançant diagrames d'estat. La sortida d'una màquina d'estat és funció de l'entrada i l'estat actual. Les màquines estatals tenen un paper important en àrees com l’enginyeria elèctrica, la lingüística, la informàtica, la filosofia, la biologia, les matemàtiques i la lògica. S’utilitzen millor en la modelització del comportament d’aplicacions, l’enginyeria de programari, el disseny de sistemes digitals de maquinari, protocols de xarxa, compiladors i l’estudi de la computació i llenguatges.
Techopedia explica State Machine
El funcionament d’una màquina d’estat comença des d’un estat d’inici. En una transició exitosa, acaba en un estat d’acceptació. La transició es realitza en funció dels inputs proporcionats. L’estat actual depèn de l’estat passat del sistema. El nombre d'estats formats depèn dels estats de memòria disponibles. Una transició està habilitada en funció de certes condicions i indica un canvi d’estat. Una acció descriu una activitat realitzada en el moment donat. Els diferents tipus d’accions són l’acció de transició, l’entrada d’entrada, l’acció d’entrada i l’acció de sortida.
Els autòmats determinats tenen exactament una transició en cada estat per a cada entrada possible. En els autòmats no deterministes, una entrada d'estat condueix a una, moltes o cap transició. Una màquina d'estat amb un sol estat s'anomena màquina d'estat combinatòria i utilitza només accions d'entrada.
Els dos grups diferents de màquines estatals són els receptors i els transductors. Els receptors produeixen una sortida binària en funció de si l’entrada és acceptada o rebutjada per la màquina. Mentre es processa l'entrada, si l'estat actual està acceptant, s'accepta l'entrada. En cas contrari, es rebutja. Els idiomes acceptats per les màquines estatals s’anomenen idiomes regulars. Els estats inicials es representen amb una fletxa que hi apunta des de qualsevol lloc, mentre que els estats acceptats es representen mitjançant cercles dobles. Els transductors proporcionen accions en funció d'una determinada entrada, mitjançant accions. Les màquines Moore i Mealy són exemples de transductors.
Les màquines d’estat del llenguatge de modelatge no modificades també s’utilitzen àmpliament, ja que tenen dins seu les característiques de la màquina Moore i Mealy. Inclouen conceptes addicionals com ara regions ortogonals i estats anidats jeràrquicament.
