esempio di analisi di una rete sequenziale (automa riconoscitore)

1. espressioni booleane

• $j_0=k_0=x\oplus y_1$
• $j_1=k_1=\overline{y_0}$
• $z=(x\oplus y_0)y_1$

2. tavola degli stati futuri

$x,y_1,y_0$	$j_1,k_1$	$j_0,k_0$	$z$	$Y_1,Y_0$
000	11	00	0	10
001	00	00	0	01
010	11	11	0	01
011	00	11	1	10
100	11	11	0	11
101	00	11	0	00
110	11	00	1	00
111	00	00	0	11

3. diagramma della rete

4. diagramma della macchina

01 → $S_I$ 00 → $S_1$ 10 → $S_{10}$ 11 → $S_{11}$

5. descrizione verbale

Automa riconoscitore di 101 e 110 con sovrapposizioni (produce 1 in uscita quando ha queste triple di bit). Esempio di input e output:

input: 0101101 output 0001011

   __v
 __v__v
0101101
   | ||
   v vv
0001011