Zur Strukturtheorie sequentieller Automaten

1.1. Überblick über die in der Literatur benutzten abstrakten Modelle sequentieller Automaten 1955 Modelle abstrakter sequentieller Maschinen treten erstmalig bei MOORE [M 56.6] und MEALY [M 55.1] auf. Sie sind gekennzeichnet durch eine endliche Anzahl von Zuständen, Eingangs-Symbolen und Ausgangs­ Symbolen. Das Modell von MOORE ist ein System von streng deterministischem Ver­ halten, in dem der a...