Teoria Riguardante la risoluzione degli esercizi: MAcchine Notevoli Minimizzazione Automi e Macchine Sequenziali Flip-Flop