コード例 #1
0
 /** Simple, original brics implementation of determinize() */
 public static void determinizeSimple(Automaton a) {
   if (a.deterministic || a.isSingleton()) return;
   Set<State> initialset = new HashSet<State>();
   initialset.add(a.initial);
   determinizeSimple(a, initialset);
 }
コード例 #2
0
 /** Simple, original brics implementation of Brzozowski minimize() */
 public static void minimizeSimple(Automaton a) {
   if (a.isSingleton()) return;
   determinizeSimple(a, SpecialOperations.reverse(a));
   determinizeSimple(a, SpecialOperations.reverse(a));
 }