Der endliche Automat ist eine abstrakte Maschine, die bestimmte Zustände einnehmen und Zustandsübergänge vollziehen kann.

Endliche Automaten sind grundlegende Bausteine in der Theorie der formalen Sprachen.

Ein endlicher Automat kann entweder deterministisch oder nicht-deterministisch sein.

Endliche Automaten können dazu verwendet werden, verschiedene Arten von Maschinen und Systemen zu modellieren.

Die Zustandsübergänge in einem endlichen Automaten werden durch eine Übergangsfunktion bestimmt.