Ein Automat (ein Automat, mehrere Automaten) ist ein Begriff aus der Mathematik. Manchmal wird das Konzept als Zustandsautomat bezeichnet. Es ist wie eine abstrakte Maschine.
Einer solchen Maschine kann eine Eingabe gegeben werden, die entweder abgelehnt oder akzeptiert wird. Es ist wie ein Verkaufsautomat. Wenn etwas gekauft wird, müssen Münzen (oder Geld) in den Automaten eingeworfen werden. Wenn dies die richtigen Münzen sind, werden sie akzeptiert, und der angeforderte Gegenstand wird fallen gelassen, so dass er entnommen werden kann. Wenn es die falschen Münzen sind, werden sie zurückgewiesen.
Intern hat der Automat verschiedene Zustände, in denen er sich befinden kann. Wenn Sie ihn füttern, kann (oder auch nicht) sein Zustand geändert werden. Auf diese Weise durchläuft der Automat die gesamte Eingabe und verbraucht dabei jeweils nur einen Gegenstand (den Mathematiker ein Symbol nennen). Wenn kein Symbol mehr vorhanden ist, befindet sich der Automat in einem bestimmten Zustand. Dies kann ein Endzustand sein. In diesem Fall wird die Eingabe akzeptiert. Andernfalls wird die Eingabe abgelehnt.
Wenn die Maschine eine zählbare, endliche Anzahl von Zuständen hat, wird sie als endlicher Zustandsautomat bezeichnet. Ein Diagramm, das alle Zustände und Übergänge einer solchen Maschine zeigt, wird als endliches Zustandsdiagramm bezeichnet.
