Technische Informatik II fr Bachelor bung 8 Automaten
Technische Informatik II (für Bachelor) Übung 8: Automaten Implementierungsaspekte 08. 06. 2008 , v 4 Quellen: Zum Teil aus den Unterlagen „Digitale Systeme“, Prof. Schimmler, Prof. Michalik IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 1
Beispiel: Cola-Automat Eingaben: A = (X, Y, Z, , ) X = { 0, 50, 1, -, KE, Rück } KE Keine Eingabe (Leerlauf) 0, 50€ eingeworfen 1, - 1, 00€ eingeworfen Rück Abbruch, Geldrückgabe Ausgaben: Y = { Cola, 0, 50, 1, -, KA } Cola Kola Ausgeben 0, 50€ zurückgeben 1, - 1, 00€ zurückgeben KA Keine Ausgabe IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 2
Zustände: Z = { KS, 0, 50, 1, - } (wartend = „idle state“) Eingänge: X = { 0, 50, 1, -, KE, Rück } KE Keine Eingabe (Leerlauf) 0, 50€ eingeworfen 1, - 1, 00€ eingeworfen Rück Abbruch, Geldrückgabe Ausgänge: Y = { Cola, 0, 50, 1, -, KA } Cola Kola Ausgeben 0, 50€ zurückgeben 1, - 1, 00€ zurückgeben KA Keine Ausgabe Eine Dose kostet 1, 50 Euro, akzeptiert werden nur 1€ und 50¢ Münzen. Zustandsgraph des Cola-Automaten (Mealy-Automat) IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 3
Um die Zahl der Ein- und Ausgänge für diesen Schaltnetzentwurf klein zu halten, werden die Eingänge X, der Zustandsvektor Z und die Ausgänge Y wie folgt kodiert: δ λ X 1 X 0 y 1 Schaltnetz Z 1 Z’ 1 Z 0 Z’ 0 y 0 IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 4
Wertetabelle: x 1 x 0= 00/ y 1 y 0= 00 x 1 x 0= 11/ y 1 y 0= 10 x 1 x 0= 11/ y 1 y 0= 01 x 1 x 0= 01/ y 1 y 0= 11 z 1 z 0 =00 x 1 x 0= 01/ y 1 y 0= 00 1 0/ x x 1 z 1 z 0 =01 =1 0 y =1 y 0 1 x 1 x 0= 10/ y 1 y 0= 00 x 1 x 0= 01/ y 1 y 0= 00 x 1 x 0= 00/ y 1 y 0= 00 z 1 z 0 =10 x 1 x 0= 00/ y 1 y 0= 00 x 1 x 0= 10/ y 1 y 0= 11 IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 5
Die Minimierung über KN-Diagramme ergibt: Funktion δ Funktion λ IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 6
IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Seite 7
- Slides: 7