Akzeptor am Beispiel eines Lachautomaten

Ein Akzeptor ist in der theoretischen Informatik ein spezieller endlicher Automat. Er zeichnet sich dadurch aus, dass er keine Ausgabe erzeugt. Er liest ein Wort ein, indem er ein Eingabezeichen pro Verarbeitungsschritt entgegennimmt und nach jedem gelesenen Zeichen entweder im selben Zustand bleibt oder in einen neuen übergeht. Die Eingabe wird genau dann akzeptiert, wenn der Akzeptor in einem Endzustand terminiert. Andernfalls wird das Wort verworfen.

Der Lachautomat

In dem folgenden interaktiven Element wird ein Beispiel für einen Akzeptor gegeben. Probiere selbst aus, welche Wörter von diesem Lachautomaten akzeptiert werden!