Implementation of the minimization algorithm with DFA graphical representation of the resulting DFA