1. espressioni booleane

funzioni di eccitazione

$d_{1} = x y_{0} + \overline{x} y_{1}$ $d_{0} = \overline{x} y_{0} + x \overline{y_{1}}$

$z_{1} = d_{1}$ $z_{0} = d_{0}$

$x, (y_{1}, y_{0}) stato attuale$	$d_{1}, d_{0}$	$z_{1}, z_{0}$	$(y_{1}, y_{0}) stato futuro$
000	00	00	00
001	01	01	01
010	10	10	10
011	11	11	11
100	01	01	01
101	11	11	11
110	00	00	00
111	10	10	10

Astraiamo il diagramma della rete per produrre il diagramma della macchina, che prescinde dai valori di memoria negli stati.

Diamo un nome agli stati:

00 → $S_{0}$ 01 → $S_{1}$ 10 → $S_{2}$ 11 → $S_{3}$

Intuiamo il funzionamento generale dell’automa a partire dal diagramma della macchina, poi descriviamolo verbalmente:

Contatore (a modulo 4, cioè da 0 a 3) di input uguali a 1.

$x, (y_{1}, y_{0}) stato attuale$	$d_{1}, d_{0}$	$z_{1}, z_{0}$	$(y_{1}, y_{0}) stato futuro$
000	00	00	00
001	01	01	01
010	10	10	10
011	11	11	11
100	01	01	01
101	11	11	11
110	00	00	00
111	10	10	10

$x, (y_{1}, y_{0}) stato attuale$	$d_{1}, d_{0}$	$z_{1}, z_{0}$	$(y_{1}, y_{0}) stato futuro$
000	00	00	00
001	01	01	01
010	10	10	10
011	11	11	11
100	01	01	01
101	11	11	11
110	00	00	00
111	10	10	10

$x, (y_{1}, y_{0}) stato attuale$	$d_{1}, d_{0}$	$z_{1}, z_{0}$	$(y_{1}, y_{0}) stato futuro$
000	00	00	00
001	01	01	01
010	10	10	10
011	11	11	11
100	01	01	01
101	11	11	11
110	00	00	00
111	10	10	10