public void Minimize() { AutomatonFromViewModel(); ResetStates(); automaton = automaton.ToMinimizedDFA(); ViewModelFromAutomaton(); }