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

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

Methods inherited from interface Automaton
accepts

Method Details
- 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.