Lo sapete che cas’è un automa? In informatica teorica e in matematica discreta, un automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate primariamente da una variabile che appartiene ad un determinato insieme di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un determinato alfabeto.
Quando l’automa si trova in un dato stato, esso può accettare solo un sottoinsieme dei simboli del suo alfabeto. L’evoluzione di un automa parte da un particolare stato detto stato iniziale. Un sottoinsieme privilegiato dei suoi stati è detto insieme degli stati finali o marcati.
Si definisce anche come un sistema dinamico (Teoria dei sistemi) (si evolve nel tempo), discreto (nella scansione del tempo e nella descrizione del suo stato) e invariante (il sistema si comporta alla stessa maniera indipendentemente dall’istante di tempo agisce).
In genere gli automi sono deterministici, ovvero dato uno stato ed un simbolo in ingresso è possibile una sola transizione.
fonti trovate su wikipedia.
Ciao miki.