A teoria dos autômatos é importante porque permite que os cientistas entendam como as máquinas resolvem problemas. Um autômato é qualquer máquina que usa um processo específico e repetível para converter informações em diferentes formas. Os computadores modernos são um exemplo comum de autômato.
Se os cientistas não estudassem a teoria dos autômatos, eles teriam muito mais dificuldade para projetar sistemas que pudessem realizar ações repetíveis com base em entradas e saídas específicas. Os cientistas são capazes de projetar sistemas que podem realizar tarefas específicas, como sistemas de computadores pessoais, pilotos automáticos de aeronaves e muito mais, usando a teoria dos autômatos.
Existem vários outros exemplos de autômatos. Eles variam de dispositivos básicos, como um relógio de pêndulo, a sistemas de orientação de mísseis e redes telefônicas complexas.
Os termostatos são um exemplo conhecido de autômato. Um termostato verifica a temperatura do ambiente circundante em intervalos específicos e, em seguida, liga quando a temperatura atinge um determinado nível. Nesse caso, existem apenas dois estados potenciais para o termostato: ligado ou desligado.
Os autômatos podem ser muito mais complexos do que um termostato. Os computadores modernos possuem um grande número de entradas de dados e estados potenciais. A teoria dos autômatos é usada para projetar computadores que respondem às entradas, produzindo saídas confiáveis.