Ein
Automat oder eine
abstrakte Maschine ist in der
Informatik, speziell in der
Automatentheorie, das
Modell eines
digitalen,
zeitdiskreten Rechners. Ob es möglich oder sinnvoll ist, eine solche Maschine tatsächlich zu bauen, ist dabei zunächst unerheblich. Die Vereinfachung der Fähigkeiten erlaubt es, das Verhalten eines Automaten leichter zu verstehen und zu vergleichen.