DFA (Autogex Docs)

java.lang.Object

org.eu.autogex.core.AbstractAutomaton

org.eu.autogex.models.DFA

All Implemented Interfaces:: Automaton

public class DFA extends AbstractAutomaton

Deterministic Finite Automaton (DFA).

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static class

DFA.Builder

Builder pattern to construct the DFA fluently.
Method Summary

Modifier and Type

Method

Description

boolean

accepts(String input)

Fast-path evaluation of an input string bypassing ExecutionTrace generation.

ExecutionTrace

execute(String input)

Processes the input string and returns a detailed execution trace.

Map<State, Map<Character, State>>

getTransitionTable()

Retrieves the internal transition table of the DFA.

Methods inherited from class AbstractAutomaton
getFinalStates, getInitialState, getStates

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

Method Details
- accepts
  
  public boolean accepts(String input)
  
  Fast-path evaluation of an input string bypassing ExecutionTrace generation. Overrides the default method to minimize memory allocation and maximize performance.
  
  Parameters:
  
  input - The string to be evaluated.
  
  Returns:
  
  true if the string is accepted, false otherwise.
- 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, State>> getTransitionTable()
  
  Retrieves the internal transition table of the DFA.
  
  Returns:
  
  The transition table.