dk.brics.automaton

Class MinimizationOperations

public final class MinimizationOperations extends Object

Operations for minimizing automata.

Method Summary
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.

Method Detail

public static void minimize(Automaton a)

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

public static void minimizeBrzozowski(Automaton a)

Minimizes the given automaton using Brzozowski's algorithm.

public static void minimizeHopcroft(Automaton a)

Minimizes the given automaton using Hopcroft's algorithm.

public static void minimizeHuffman(Automaton a)

Minimizes the given automaton using Huffman's algorithm.