AutomataOperations.determinize2(automaton, deterministicAutomaton);
deterministicAutomaton.makeMinimal(deterministicAutomaton, "abcdefghijklmnopqrstuwyz");
resultAutomaton = new DeterministicAutomaton(deterministicAutomaton);
} catch (Exception ex) {
Logger.getLogger(ExtendedPosixRegexp.class.getName()).log(Level.SEVERE, null, ex);
}
}