Akzeptor (Informatik)
aus Wikipedia, der freien Enzyklopädie
Ein Akzeptor ist in der Informatik ein spezieller endlicher Automat. Akzeptoren werden über ein Eingabealphabet, eine Zustandsmenge, einen oder mehrere Startzustände und Akzeptorzustände, sowie eine Zustandsüberführungsfunktion (delta) definiert (eine Ausgabe wird also nicht berücksichtigt). So lassen sich bspw. Formale Sprachen beschreiben. Die Menge der durch Akzeptoren beschriebenen Sprachen ist äquivalent zu der Menge der durch reguläre Ausdrücke beschriebenen Sprachen.