Se per noi la funzione di transizione e' totale,
allora si dimostra come fa l'Ausiello a pag.96 (non e' nel programma,
poiche' questa proprieta' la possiamo dimostrare da soli).
Se per noi invece la funzione di transizione non e' totale,
allora basta fare la stessa trasformazione descritta a pag.77
dell'Ausiello avendo cura di avere solo q-segnato come stato finale.