Autòmat finit
From Wikipedia, the free encyclopedia
Un autòmat finit (AF) o màquina d'estats finits (FSM de l'anglès Finite State Machine) és un model matemàtic d'un sistema compost per estats, transicions i accions. Un estat emmagatzema informació del passat. Una transició indica un canvi d'estat i es descriu per la condició que és necessària acomplir per activar la transició. Una acció és una descripció d'una activitat que es realitza en un moment donat. D'accions n'hi ha de diversos tipus:
- Acció d'entrada
- executa l'acció quan s'entra a l'estat.
- Acció de sortida
- executa l'acció quan s'abandona l'estat.
- Acció d'Input
- executa l'acció depenent de l'estat actual i les condicions d'entrada.
- Acció de Transició
- executa l'acció quan succeeix una certa transició.
Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat. |