 Automat rekonstruieren |
|
|
Ich nehme an, ![[latex]D_0^n = Q_0[/latex]](http://www.matheboard.de/latex2png/latex2png.php?D_0^n = Q_0) ?
Dann ist die 2. Zeile in deiner Tabelle falsch, den Rest habe ich nicht kontrolliert.
So ist die Tabelle aber ohnehin keine große Hilfe: es interessiert doch, von welchem Zustand man mit welchen Eingängen zu welchem Folgezustand gelangt.
![[latex]\begin{tabular}{cc|cc|cc} $Z_1^n$ & $Z_0^n$ & $x_1$ & $x_0$ & $Z_1^{n+1}$ & $Z_0^{n+1}$<br />
\hline 0 & 0 & 0 & 0 & 0 & 1<br />
& & 0 & 1 & 0 & 1<br />
& & 1 & 0 & 1 & 0<br />
& & 1 & 1 & 1 & 1<br />
\hline 0 & 1 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\hline 1 & 0 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\hline 1 & 1 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\end{tabular}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\begin{tabular}{cc|cc|cc} $Z_1^n$ & $Z_0^n$ & $x_1$ & $x_0$ & $Z_1^{n+1}$ & $Z_0^{n+1}$<br />
\hline 0 & 0 & 0 & 0 & 0 & 1<br />
& & 0 & 1 & 0 & 1<br />
& & 1 & 0 & 1 & 0<br />
& & 1 & 1 & 1 & 1<br />
\hline 0 & 1 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\hline 1 & 0 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\hline 1 & 1 & 0 & 0 & & <br />
& & 0 & 1 & & <br />
& & 1 & 0 & & <br />
& & 1 & 1 & & <br />
\end{tabular})
Jetzt kannst du von ![[latex]Z_0[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_0) aus Pfeile zu ![[latex]Z_1 \rightarrow \overline{x_1}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_1 \rightarrow \overline{x_1}) , ![[latex]Z_2 \rightarrow x_1 \overline{x_0}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_2 \rightarrow x_1 \overline{x_0}) und ![[latex]Z_3 \rightarrow x_1 x_0[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_3 \rightarrow x_1 x_0) einzeichnen.
__________________
Syntax Highlighting fürs Board (Link)
|
|
18.03.2015 16:52 |
|
|
|
|
Dann verstehe ich aber bei dir die 3. Zeile nicht. Wenn Z_1^(n) und Z_0^(n) = 0 sind, dann darf doch laut Ansteuerungsgleichung X_0 nicht 0 sein, sondern eine 1. Oder habe ich jetzt einen Denkfehler? 
|
|
|
18.03.2015 17:34 |
|
|
|
|
Ja, da sind wir uns einig.
|
|
|
18.03.2015 17:57 |
|
|
|
|
Aber wenn x0 eine Eingangsvariable ist, dann kann sie doch sowohl 0 als auch 1 sein, das ist eine frei wählbare Variable. Die abhängige Variable ist Z^(n+1).
__________________
Syntax Highlighting fürs Board (Link)
|
|
|
18.03.2015 19:50 |
|
|
|
|
Dann verstehe ich die 1. Zeile auch nicht. Wenn zum Beispiel Z_0^(n+1) von X_0=0 abhängig ist, dann kann sie doch nicht 1 sein. Da müsste dann eine 0 stehen.
|
|
|
18.03.2015 20:00 |
|
|
|
|
Wir haben die Gleichung ![[latex]Z_0^{n+1} = \overline{Z_1^n} \cdot \overline{x_1} + \overline{Z_1^n} \cdot \overline{Z_0^n} \cdot x_0[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_0^{n+1} = \overline{Z_1^n} \cdot \overline{x_1} + \overline{Z_1^n} \cdot \overline{Z_0^n} \cdot x_0)
Das heißt, wir haben in der Spalte von ![[latex]Z_0^{n+1}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_0^{n+1}) eine 1 stehen, wenn bei ![[latex]\overline{Z_1^n}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\overline{Z_1^n}) und bei ![[latex]\overline{x_1}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\overline{x_1}) eine 0 steht. Oder natürlich, wenn der zweite Teil des Terms erfüllt ist, da die ja ODER verknüpft sind.
Und das ist hier erfüllt, daher kommt da eine 1 rein.
__________________
Syntax Highlighting fürs Board (Link)
|
|
|
19.03.2015 06:11 |
|
|
|
|
Ah gut, jetzt habe ich meinen Fehler gesehen. Vielen Dank! :-)
|
|
|
20.03.2015 17:33 |
|
|
|
