Endliche Automaten sind eines der einfachsten Berechnungsmodelle der Informatik. Mit ihnen kann das Verhalten vieler aus dem Alltag bekannter Automaten beschrieben werden.
Zur Erstellung eigener Automaten wird das kostenlose Programm Kara eingeführt.