Un automa a stati finiti è un
sistema dinamico, invariante, discreto nell'avanzamento e nelle interazioni nel quale gli insiemi dei possibili valori di ingresso, uscita e stato sono insiemi finiti.dinamico: evolve nel tempo passando da uno stato all'altro in funzione dei segnali d'ingresso e dello stato precedente;invariante: a parità di condizioni iniziali il comportamento del sistema è sempre lo stesso;discreto: le variabili d'ingresso, di stato, d'uscita, possono assumere solo valori discreti.
Per saperne di più visita Wikipedia.org...