pridany vypocet minimalneho DFA a jeho normalizacia