Converter (Autogex Docs)

java.lang.Object

org.eu.autogex.algorithms.Converter

public class Converter extends Object

Utility class for Finite State Automata conversion.

Method Summary

Modifier and Type

Method

Description

static DFA

enfaToDfa(ENFA enfa)

Convenience method that applies the full transformation chain: ENFA -> NFA -> DFA.

static NFA

enfaToNfa(ENFA enfa)

Converts an ε-NFA into an NFA.

static DFA

nfaToDfa(NFA nfa)

Converts an NFA into a DFA.

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

Method Details
- enfaToNfa
  
  public static NFA enfaToNfa(ENFA enfa)
  
  Converts an ε-NFA into an NFA. Applies the ε-elimination algorithm.
  
  Parameters:
  
  enfa - The source ε-NFA.
  
  Returns:
  
  The equivalent NFA.
- nfaToDfa
  
  public static DFA nfaToDfa(NFA nfa)
  
  Converts an NFA into a DFA. Applies the Rabin-Scott Subset Construction algorithm.
  
  Parameters:
  
  nfa - The source NFA.
  
  Returns:
  
  The equivalent DFA.
- enfaToDfa
  
  public static DFA enfaToDfa(ENFA enfa)
  
  Convenience method that applies the full transformation chain: ENFA -> NFA -> DFA.
  
  Parameters:
  
  enfa - The source ε-NFA.
  
  Returns:
  
  The equivalent DFA.