Medwedew-Automat

In der theoretischen Informatik versteht man unter einem Medwedew-Automaten einen endlichen Automaten, der keine Ausgabe hat. Als Indikator dienen die Zustände, wobei bei manchen Automaten Akzeptanzzustände (Endzustände) existieren, ein solcher Medwedew-Automat wird auch Akzeptor genannt. Medwedew-Automaten sind besonders einfach zu realisieren; komplexer sind Mealy-Automaten und Moore-Automaten. Der Medwedew-Automat ist ein Spezialfall des Moore-Automaten.