Technische Grundlagen der Informatik 8. Musterlösung – Automaten

START
z0
z1 z2 z3 z4 z5 z6 z7 z8 z9 z10
UP UP DOWN DOWN LEFT RIGHT LEFT RIGHT B A
Sound
b) Schade, Ihr NES funktioniert leider nicht mehr. Dank eines großen glücklichen Zufall haben Sie Zugang zur alten
verlassenen Spielhalle in Ihrer Stadt, in der auch ein Gradius-Spielautomat steht. Wie bei den TRON-Automaten,
die nebendran stehen, verlangen Cheats noch das Dagegentreten gegen den Automaten, um zu funktionieren (oder
um in eine Cyberwelt eingezogen zu werden). Dabei kann der Tritt zu jedem Zeitpunkt der Code-Eingabe erfolgen.
Zeichnen Sie den Moore-Automaten, der Ihnen die Power-Ups für Gradius in der verlassenen Spielhalle beschert.
START
z0
UP
UP DOWN DOWN LEFT RIGHT LEFT RIGHT B A
z1 z2 z3 z4 z5 z6 z7 z8 z9 z10
KICK KICK KICK KICK KICK KICK KICK KICK KICK KICK KICK
z11 z12 z13 z14 z15 z16 z17 z18 z19 z20
z21
UP UP DOWN DOWN LEFT RIGHT LEFT RIGHT B A
Sound
c) Ihr sehr alter Bekannter Simon stellt ihnen eine Quest. Er behauptet, der Automat lässt sich mit erheblich weniger
als 22 Zuständen realisieren, indem einfach nur ein neuer Zustand zu dem Automaten aus a) hinzugefügt wird,
der den Tritt darstellt. Hat er Recht oder denken Sie eher, dass da ein Fluch aus ihm spricht? Begründen Sie ihre
Antwort.
Nein, es ist keine Minimierung möglich. Wollte Simon nur einen zusätzlichen Zustand einführen, um das Treten
zu implementieren, müsste er die vorher zuletzt gedrückte Taste speichern. Ansonsten könnte man beispielsweise
vom ersten UP direkt zu A springen und die Tasten dazwischen einfach auslassen.
Aufgabe 3 Vergleichen von Moore- und Mealy-Automaten
Vergleichen Sie Moore- und Mealy-Automaten bzgl. der nachfolgenden Kriterien.
a) Welche Unterschiede besitzen die Ausgaben vor Moore- und Mealy-Automaten?
Der Moore-Automat hat ein synchrones Ausgabeverhalten. Die Ausgabe des nächsten Taktzyklus wird kombinatorisch
in dem aktuellen Taktzyklus berechnet und synchron zum Takt in das Ausgaberegister übernommen.
Änderungen am Eingang eines Moore-Automaten wirken sich auf den Ausgang somit frühstens zum nächsten
Taktzyklus aus.
Ein Mealy-Automat hat ein asynchrones Ausgabeverhalten. Die Ausgabe ist kombinatorisch anhand der Eingänge
und des Zustands festgelegt. Somit wirken sich Änderungen am Eingang eines Mealy-Automaten direkt auf den
Ausgang aus.
b) Warum ist es problematisch, wenn einer oder mehrere Mealy-Automaten rückgekoppelt werden?
Werden Mealy-Automaten zurückgekoppelt, d. h. der Ausgang wirkt direkt auf den Eingang des Automaten, so
kann es passieren, dass der Ausgang des Mealy-Automaten ein Schwingverhalten aufweist: Die asynchonen Ausgaben
nehmen Aufgrund der reinen kombinatorischen Verschaltung evtl. keine stabilen Ausgabewerte an.
c) Warum besitzt ein Mealy-Automat gegenüber einem Moore-Automat normalerweise weniger Zustände bei gleicher
Ausgabesequenz?
Gleiche Ausgaben in unterschiedlichen Zuständen können in einem Mealy Automaten evtl. zu einem Zustand
zusammengefasst werden.
2 Alexander Biedermann biedermann@iss.tu-darmstadt.de · Felix Deichmann deichmann@iss.tu-darmstadt.de · (0 61 51) 16-6710