Minimizer (Autogex Docs)

java.lang.Object

org.eu.autogex.algorithms.Minimizer

public class Minimizer extends Object

Utility class for DFA minimization. Implements Moore's partition refinement algorithm.

Method Summary

Modifier and Type

Method

Description

static DFA

minimize(DFA dfa)

Minimizes a DFA, returning a new equivalent DFA with the minimum number of states.

Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- minimize
  
  public static DFA minimize(DFA dfa)
  
  Minimizes a DFA, returning a new equivalent DFA with the minimum number of states.
  
  Parameters:
  
  dfa - The source DFA to minimize.
  
  Returns:
  
  The minimal DFA.