Zusammenfassung

Unter endlichen Automaten versteht man ein Modell sehr einfacher Berechnungen, die keine Variablen und damit keinen Speicher verwenden.

Automaten dienen als Modell für einfache Algorithmen zur Spracherkennung. Ein endlicher Automat akzeptiert ein Eingabewort, wenn er sich nach dem Lesen des letzten Buchstabens des Wortes in einem akzeptierenden Zustand (Endzustand) befindet.