La teoria degli automi è importante perché consente agli scienziati di capire come le macchine risolvono i problemi. Un automa è qualsiasi macchina che utilizza un processo specifico ripetibile per convertire le informazioni in forme diverse. I computer moderni sono un esempio comune di automa.
Se gli scienziati non studiassero la teoria degli automi, avrebbero un tempo molto più difficile progettare sistemi in grado di eseguire azioni ripetibili basate su input e output specifici. Gli scienziati sono in grado di progettare sistemi in grado di eseguire compiti specifici, come sistemi di personal computer, piloti di aerei automatici e molti altri, utilizzando la teoria degli automi.
Ci sono una serie di altri esempi di automi. Questi vanno dai dispositivi di base, come un orologio a pendolo, ai sistemi di guida di missili e reti telefoniche complesse.
I termostati sono un esempio familiare di un automa. Un termostato controlla la temperatura dell'ambiente circostante a intervalli specifici, quindi si accende quando la temperatura raggiunge un certo livello. In questo caso, ci sono solo due stati potenziali per il termostato: acceso o spento.
Gli automi possono essere molto più complessi di un termostato. I computer moderni hanno un gran numero di input di dati e stati potenziali. La teoria degli automi viene utilizzata per progettare computer che rispondono agli input producendo output affidabili.
