ENFA (Autogex Docs)

java.lang.Object

it.tugamer89.autogex.core.AbstractAutomaton

it.tugamer89.autogex.models.ENFA

All Implemented Interfaces:: Automaton

public class ENFA extends AbstractAutomaton

Non-Deterministic Finite Automaton with Epsilon Transitions (ε-NFA).

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static class

ENFA.Builder

Builder pattern to construct the ENFA fluently.
Method Summary

Modifier and Type

Method

Description

Set<State>

epsilonClosure(Set<State> startStates)

Computes the ε-closure of a set of states.

ExecutionTrace

execute(String input)

Processes the input string and returns a detailed execution trace.

Map<State, Map<Character, Set<State>>>

getTransitionTable()

Retrieves the internal transition table of the ENFA.

Methods inherited from class AbstractAutomaton
getFinalStates, getInitialState, getStates

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

Methods inherited from interface Automaton
accepts

Method Details
- epsilonClosure
  
  public Set<State> epsilonClosure(Set<State> startStates)
  
  Computes the ε-closure of a set of states. (All states reachable without consuming any input).
  
  Parameters:
  
  startStates - The initial set of states.
  
  Returns:
  
  The ε-closure set of states.
- execute
  
  public ExecutionTrace execute(String input)
  
  Description copied from interface: Automaton
  
  Processes the input string and returns a detailed execution trace.
  
  Parameters:
  
  input - The string to be evaluated.
  
  Returns:
  
  An ExecutionTrace detailing the entire state traversal.
- getTransitionTable
  
  public Map<State, Map<Character, Set<State>>> getTransitionTable()
  
  Retrieves the internal transition table of the ENFA.
  
  Returns:
  
  The transition table.