Teoria automatów jest ważna, ponieważ pozwala naukowcom zrozumieć, w jaki sposób maszyny rozwiązują problemy. Automat to każda maszyna, która używa specyficznego, powtarzalnego procesu do przekształcania informacji w różne formy. Nowoczesne komputery są częstym przykładem automatu.
Gdyby naukowcy nie studiowali teorii automatów, mieliby znacznie trudniejsze zadanie projektowania systemów, które mogłyby wykonywać powtarzalne działania w oparciu o konkretne dane wejściowe i wyjściowe. Naukowcy są w stanie zaprojektować systemy, które mogą wykonywać określone zadania, takie jak systemy komputerów osobistych, automatyczne piloty samolotów i wiele innych, za pomocą teorii automatów.
Istnieje wiele innych przykładów automatów. Obejmują one podstawowe urządzenia, takie jak zegar wahadłowy, systemy prowadzenia rakiet i złożone sieci telefoniczne.
Termostaty są znanym przykładem automatu. Termostat sprawdza temperaturę otaczającego środowiska w określonych odstępach czasu, a następnie włącza się, gdy temperatura osiągnie określony poziom. W tym przypadku istnieją tylko dwa potencjalne stany dla termostatu: włączanie i wyłączanie.
Automaty mogą być znacznie bardziej złożone niż termostat. Współczesne komputery mają dużą liczbę wejść danych i potencjalnych stanów. Teoria automatów służy do projektowania komputerów, które reagują na dane wejściowe, tworząc niezawodne wyjścia.
