DFA.minimized implemented
readme update