dk.brics.automaton

Class MinimizationOperations

java.lang.Object

dk.brics.automaton.MinimizationOperations

public final class MinimizationOperations
extends Object

Operations for minimizing automata.

Method Summary

Modifier and Type	Method and Description
static void	minimize(Automaton a) Minimizes (and determinizes if not already deterministic) the given automaton.
static void	minimizeBrzozowski(Automaton a) Minimizes the given automaton using Brzozowski's algorithm.
static void	minimizeHopcroft(Automaton a) Minimizes the given automaton using Hopcroft's algorithm.
static void	minimizeHuffman(Automaton a) Minimizes the given automaton using Huffman's algorithm.
static void	minimizeValmari(Automaton automaton) Minimizes the given automaton using Valmari's algorithm.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

minimize

public static void minimize(Automaton a)

Minimizes (and determinizes if not already deterministic) the given automaton.

See Also:

Automaton.setMinimization(int)

minimizeBrzozowski

public static void minimizeBrzozowski(Automaton a)

Minimizes the given automaton using Brzozowski's algorithm.

minimizeHopcroft

public static void minimizeHopcroft(Automaton a)

Minimizes the given automaton using Hopcroft's algorithm.

minimizeHuffman

public static void minimizeHuffman(Automaton a)

Minimizes the given automaton using Huffman's algorithm.

minimizeValmari

public static void minimizeValmari(Automaton automaton)

Minimizes the given automaton using Valmari's algorithm.