Forniamo le tabelle di transizione (i diagrammi degli
stati si ottengono facilmente). La funzione di transizione
descritta da tali tabelle e' parziale (sappiamo che
e' indifferente considerare funzioni di transizione
totali o parziali per ASFD,
vista l'osservazione a pag. 77 dell'Ausiello)

q0 e' iniziale, q3 finale

       a   |  b   |  c
-----------|------|-----
q0  |  q1  |  q2  |  q3
----|------|------|------
q1  |  q1  |  q2  |  --
----|-------------|------
q2  |  --  |  q3  | --
----|------|------|-----
q3  |  --  |  --  | --
-----------------------

Nella sotostante tabella 'x' significa che ci possiamo mettere '0' o '1'.

         a   |    b   |   c
-----------------------------
q0  |  q1/x  |  q2/x  |  q3/x
----|--------|--------|-------
q1  |  q'1/x |  q2/x  |  --
----|--------|--------|-------
q2  |   --   |  q3/1  | --
----|--------|--------|-------
q3  |   --   |   --   | --
----|--------|--------|------
q'1 |  q1/x  |  q'2/x | --
----|--------|--------|-------
q'2 |  --    |  q3/0  | --
------------------------------