Übung 12

[ChristianK]

Bei Aufgabe 1 soll ein Paritätsprüfer für gerade Parität erstellt werden. Aber der Automat in der Musterlösung gibt ja ne 1 zurück, wenn die Anzahl der 1en in der Eingabe ungerade ist... Oder wie ist das gemeint? Sollen vielleicht die 3 Eingaben+das Paritätsbit eine gerade Anzahl ergeben?

Und muss man noch die "Übergangsfunktionen für Zustand (010), (011) gleich 0" machen? Im Prinzip wird da doch nur eingebaut, dass die nicht verwendete Kodierung in den Zustand A geführt wird oder nicht? Ist das wirklich nötig?^^ Das Ding muss doch nich unbedingt selbststartend sein oder?

[Krümelmonster]

Sollen vielleicht die 3 Eingaben+das Paritätsbit eine gerade Anzahl ergeben?

Genau, "für gerade Parität" heißt: Auf eine gerade Anzahl 1en ergänzen.

Und muss man noch die "Übergangsfunktionen für Zustand (010), (011) gleich 0" machen?

Das Frage ich mich auch. Vor allem ist doch nur der Zustand 001 nicht in der Kodierung der Zustände vorhanden. Warum also die Zustände 010 und 011?

[Wambolo]

Das Frage ich mich auch. Vor allem ist doch nur der Zustand 001 nicht in der Kodierung der Zustände vorhanden. Warum also die Zustände 010 und 011?

Die Kodierung kann in dieser Aufgabe doch beliebig gewählt werden. Das Teil in der Musterlösung kommt halt mit sieben Zuständen aus und man könnte genausogut A=000 wählen und B=001 usw. und irgend einen anderen beliebigen Zustand weglassen. Das kann jeder machen wie er will.

Desweiteren würde ich sagen, dass beide Lösungen unabhängig voneinander korrekt sind. Selbststartend sind beide Varianten wobei natürlich nur die zweite vom nicht benötigten auf den "Startzustand" A zeigt. Die erste Lösung verweist von 001 auf irgend einen anderen Zustand. Ich denke aber mal, das ist für die Aufgabenstellung nicht einmal relevant, da diese Eigenschaft ja nicht gefordert wird und ob das viel bringt ist ja eine andere Frage, es geht hier ja eh nur darum Grundverständnis für diverse Probleme zu erlangen.

[snakar]

Kann mir mal jemand die Wahrheitstabelle erklären. Die verstehe ich gar nicht. Wieso ist der Folgezustand von 000 ---> 010 wenn eine Null ein geht?
Und wieso gibt nut der Folgezustand von G eine 1 aus.
Ist die Parität denn sonst nie gerade?
Irgendwo hab ich einen Denkfehler!!! Bitte um Hilfe!

[Krümelmonster]

Kann mir mal jemand die Wahrheitstabelle erklären. Die verstehe ich gar nicht. Wieso ist der Folgezustand von 000 ---> 010 wenn eine Null ein geht?

Das ist nur die Kodierung der Zustände:
A: 000
B: 010
C: 011
D: 110
E: 111
F: 100
G: 101

Mit dieser Kodierung werden die Funktionen für die einzelnen Stellen am Ende sehr einfach. (Im Gegensatz dazu wenn man die Zustände von 000 bis 110 durchnummeriert).
Hierzu wäre meine Frage also: Wie kommt man drauf? (Bitte nicht wie Prof. Streicher antworten: "Indem man sich nicht blöd anstellt" )

Wenn der Automat also im Zustand A ist und eine 0 eingelesen wird, dann ist B der Folgezustand (Siehe Zustandsübergangsgraph). Und dieser hat die Kodierung 010.

Und wieso gibt nut der Folgezustand von G eine 1 aus.
Ist die Parität denn sonst nie gerade?

In der Aufgabenstellung steht doch
Ausgabe: ...P 000 P 000 P 000 ...
Es wird also solange eine 0 ausgegeben, solange die 3 Bits noch nicht gelesen wurden.
Nur wenn die Bits gelesen wurden und eine ungerade Anzahl 1es vorkam, wird eine 1 ausgegeben.

[snakar]

Ah, jetzt hab ich es verstanden, vielen Dank!