Class BMinimizer

java.lang.Object
  extended byBMinimizer
All Implemented Interfaces:
Minimizer

public class BMinimizer
extends java.lang.Object
implements Minimizer

This class implements the minimization of deterministic finite automata by double reverse (Brzozowski's algorithm). Only presently available for IDFA.


Field Summary
static boolean verbose
           
 
Constructor Summary
BMinimizer()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 DFA minimize(DFA a)
           
 DFT minimize(DFT a)
           
 IDFA minimize(IDFA a)
          Returns the minimal automaton deterministic recognizing the reverse of the words recognized by a.
 IDFA minimizeBis(IDFA a)
          Returns the minimal automaton equivalent to a.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

verbose

public static boolean verbose
Constructor Detail

BMinimizer

public BMinimizer()
Method Detail

minimize

public DFA minimize(DFA a)
             throws java.lang.Exception
Specified by:
minimize in interface Minimizer
Throws:
java.lang.Exception

minimize

public DFT minimize(DFT a)
             throws java.lang.Exception
Specified by:
minimize in interface Minimizer
Throws:
java.lang.Exception

minimizeBis

public IDFA minimizeBis(IDFA a)
                 throws java.lang.Exception
Returns the minimal automaton equivalent to a.

Throws:
java.lang.Exception

minimize

public IDFA minimize(IDFA a)
              throws java.lang.Exception
Returns the minimal automaton deterministic recognizing the reverse of the words recognized by a.

Specified by:
minimize in interface Minimizer
Throws:
java.lang.Exception

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception