Seite 1 IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211) Quellen: Überwiegend aus den Unterlagen R M. Dansereau, Georgia Institute of Technology Technische Technische Informatik II Informatik II (für Bachelor) (für Bachelor) Übung 7 Übung 7 : : Automaten Automaten Implementierungsaspekte Implementierungsaspekte 04.06.2008 , v6 04.06.2008 , v6
22
Embed
Seite 1 IDA, Technische Universität BraunschweigTechnische Informatik II (INF 1211) Quellen: Überwiegend aus den Unterlagen R M. Dansereau, Georgia Institute.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Seite 1IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Quellen:Überwiegend aus den Unterlagen R M. Dansereau, Georgia Institute of Technology
Seite 4IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Minimierung:
Seite 5IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Implementierung:
Seite 6IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Zustand Eingang Nächster-Zustand Ausgang
Aufgabe 2 : Zustandstabelle/Zustandsdiagramm
Gegeben ist folgende ZustandstabelleErmitteln Sie das Zustandsdiagramm!
S0
S1
S2
Seite 7IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Zustandsdiagramm:
Seite 8IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Aufgabe 3 *:
* Universität Frankfurt (Prof. Waldschmidt)
Automat zur Erkennung der Impulsfolge “100101“:
1 10 100 1001 10010 100101
S0 S1 S2 S3 S4 S5 S6
Seite 9IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Kodierung der Zustandsmenge:
S0
S1
S2
S3
S4
S5
S6
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 10IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Resultierende Automatentabelle:
S
S
S
S
S
S
S
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 11IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Minimierung:
(Ref.: Prof. Waldschmidt Univ. Frankfurt)Kosten: 11 Terme und 32 Literalen (Leitungen)
Seite 12IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 13IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Alternative Zustandskodierung des Beispielautomaten*:
*Die Zustandskodierung erfolgt üblicherweise mit heuristischen Verfahren, bei denen eine Kostenfunktion, z.B. der Aufwand, optimiert wird. In diesem Beispiel wurden die Zustände mit dem Design Compiler– ein Synthesetool der Firma Synopsys– kodiert
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 14IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 15IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 16IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
(Ref.: Prof. Waldschmidt Univ. Frankfurt)
Seite 17IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Gegeben: Eingangssequenz mit 3 Werten a, b und c
Ausgang soll q sein falls : Anzahl a‘s gerade UND Anzahl b‘s ungeradeAnsonsten Ausgang = p
Aufgabe 3 : Moore Automat
Lösung:
Zuerst werden alle Ergebnismöglichkeiten ermittelt und dafür Zustände zugeordnet
Seite 18IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Zustandsdiagramm:
1. Zustände in Kreise mit den zugehörigen Ausgaben zeichnen
2. Übergangsverbindungen für jeden Zustand für alle Eingangsmöglichkeiten a, b und c zeichnen. Hier zum Beispiel Zustand SEE
Seite 19IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Vollendetes Zustandsdiagramm:
Codierung der Zustände, Eingabewerte (a,b,c) und Ausgaben (p und q):
Seite 20IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Zustandstabelle:Jeder Zustand wird mit allen Eingangskombinationen a, b, c durchgespielt. Damit entstehen soviele Zeilen wie die Anzahl der Übergangsverbindungen im Zustandsdiagramm (nämlich 12). Damit entspricht die Tabelle einer vollständigen Beschreibung des Automaten.
Seite 21IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)
Minimierung:
Seite 22IDA, Technische Universität Braunschweig Technische Informatik II (INF 1211)