Ein Automat ist in der Informatik das Mathematische Modell eines Gerätes, das Zeichenfolgen verarbeitet, um daraus ein Ergebnis abzuleiten. Ein Automat verarbeitet eingehende Daten und wertet sie nach bestimmten Kriterien aus (erkennender Automat) oder schreibt die Auswertung in eine Datenausgabe (übersetzender Automat). Automaten werden in der Theoretischen Informatik zur Analyse und Beweisführung von Problemen und Algorithmen verwendet.