public void Minimize()
        {
            AutomatonFromViewModel();

            ResetStates();

            automaton = automaton.ToMinimizedDFA();
            ViewModelFromAutomaton();
        }