dk.brics.automaton

Class MinimizationOperations

public final class MinimizationOperations extends Object

Operations for minimizing automata.
Method Summary
static voidminimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given automaton.
static voidminimizeBrzozowski(Automaton a)
Minimizes the given automaton using Brzozowski's algorithm.
static voidminimizeHopcroft(Automaton a)
Minimizes the given automaton using Hopcroft's algorithm.
static voidminimizeHuffman(Automaton a)
Minimizes the given automaton using Huffman's algorithm.

Method Detail

minimize

public static void minimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given automaton.

See Also: Automaton

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.
Copyright © 2001-2009 Anders Møller.