Mealy-Automat
Ein Mealy-Automat ist in der theoretischen Informatik ein deterministischer endlicher Automat, dessen Ausgabe von seinem Zustand und seiner Eingabe abhängt; in der Veranschaulichung wird jeder Kante im Zustandsdiagramm ein Ausgabewert zugeordnet. Der Name geht auf den Mathematiker George H. Mealy zurück.