Class BMinimizer

java.lang.Object
  BMinimizer

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