autòmat finit

m

Electrònica i informàtica

Matemàtiques

Model matemàtic d’un sistema que té un nombre finit d’estats d’entrada i de sortida —els quals representen les diferents configuracions de signes (i estats interns) que representen la capacitat que té el sistema d’enregistrar els esdeveniments passats— i en el qual l’estat de sortida depèn en qualsevol moment de l’entrada present i dels estats interns.

Per tant, un autòmat finit es defineix pel conjunt finit dels estats d’entrada, de sortida i interns possibles; per una funció que dóna el següent estat intern corresponent a un estat d’entrada i a un estat intern donats; i per una funció que determina l’estat de sortida següent. Aquest concepte és essencialment abstracte i té valor tant per a descriure programes com per a descriure aparells. Un autòmat finit concret es defineix normalment per mitjà de la seva taula d’estats , que consisteix en una llista de les relacions existents entre els estats d’entrada, els de sortida i els interns. Una representació en forma de diagrama d’aquesta taula s’anomena diagrama d’estats i és semblant a un ordinograma.