Samples finito
-Algoritmo minimize non ancora completato e da testare
-Creazione della classe Model, ma non ancora implementata (probabilmente la deprecherò e ottimizzerò il dfa)