La théorie des automates est importante car elle permet aux scientifiques de comprendre comment les machines résolvent les problèmes. Un automate est une machine qui utilise un processus spécifique et reproductible pour convertir des informations sous différentes formes. Les ordinateurs modernes sont un exemple courant d'automate.
Si les scientifiques n'étudiaient pas la théorie des automates, ils auraient beaucoup plus de mal à concevoir des systèmes capables d'effectuer des actions répétables en fonction d'entrées et de sorties spécifiques. Les scientifiques sont capables de concevoir des systèmes capables d'effectuer des tâches spécifiques, telles que des systèmes informatiques personnels, des pilotes d'avion automatiques et bien d'autres, en utilisant la théorie des automates.
Il existe un certain nombre d'autres exemples d'automates. Ceux-ci vont des dispositifs de base, tels qu'une horloge à pendule, aux systèmes de guidage de missiles et aux réseaux téléphoniques complexes.
Les thermostats sont un exemple familier d'automate. Un thermostat vérifie la température de son environnement à des intervalles spécifiques, puis s'allume lorsque la température atteint un certain niveau. Dans ce cas, il n'y a que deux états potentiels pour le thermostat : allumé ou éteint.
Les automates peuvent être beaucoup plus complexes qu'un thermostat. Les ordinateurs modernes ont un grand nombre d'entrées de données et d'états potentiels. La théorie des automates est utilisée pour concevoir des ordinateurs qui répondent aux entrées en produisant des sorties fiables.
