Rechnerarchitektur, Betriebssysteme, Rechnernetze

1.5.8Entwurf sequentieller Schaltungen

Automaten geraten sehr übersichtlich, wenn man sie graphisch darstellt. Für jeden Zustand q zeichnet man einen kleinen Kreis, den man mit q beschriftet. Falls δ(e, q) = qʹ zeichnet man einen Pfeil von q nach qʹ, den man mit e beschriftet. Im Falle eines Moore-Automaten ist die Ausgabe nur vom Zustand abhängig, daher kann man direkt an jeden Zustand q den Ausgabewert (q) anheften. Die Information δ(e, q) = qʹ und y(q) = a wird also dargestellt durch Abbildung 1.60.

Im Falle des Mealy-Automaten ist die Ausgabe auch vom Input abhängig. In diesem Falle beschriftet man den von q startenden Pfeil mit Beschriftung e zusätzlich mit der Ausgabe y(e, q). Die Information δ(e, q) = qʹ und y(e, q) = a wird in Abb.1.60 ...