Index

A

AbstractAutomaton - Class in org.eu.autogex.core

Abstract base class for all automata models.

AbstractAutomatonBuilder<B,A> - Class in org.eu.autogex.core

Abstract builder based on the Curiously Recurring Template Pattern (CRTP).

accept(RegexNode.Visitor) - Method in interface org.eu.autogex.regex.ast.RegexNode

Accepts a visitor to apply an operation on this node.

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.PlusNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.StarNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

 

accept(RegexNode.Visitor) - Method in record class org.eu.autogex.regex.ast.RegexNode.WildcardNode

 

accepts(String) - Method in interface org.eu.autogex.core.Automaton

The main method that checks whether the input string belongs to the language recognized by the automaton L(M).

accepts(String) - Method in class org.eu.autogex.models.DFA

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

accepts(String) - Method in class org.eu.autogex.models.ENFA

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

accepts(String) - Method in class org.eu.autogex.models.NFA

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

addEpsilonTransition(String, String) - Method in class org.eu.autogex.models.ENFA.Builder

Utility method to make silent transitions more readable.

addState(String, boolean) - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Adds a new state to the automaton.

addTransition(String, char, String) - Method in class org.eu.autogex.models.DFA.Builder

Adds a transition between two states.

addTransition(String, char, String) - Method in class org.eu.autogex.models.NFA.Builder

Adds a non-deterministic transition between two states.

addTransition(String, Character, String) - Method in class org.eu.autogex.models.ENFA.Builder

Adds a transition (standard or epsilon) between two states.

AutoGex - Class in org.eu.autogex

Main utility class and metadata provider for the AutoGex library.

Automaton - Interface in org.eu.autogex.core

Base interface for all types of Automata (DFA, NFA, ENFA).

B

build() - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Builds and returns the final automaton instance.

build() - Method in class org.eu.autogex.models.DFA.Builder

 

build() - Method in class org.eu.autogex.models.ENFA.Builder

 

build() - Method in class org.eu.autogex.models.NFA.Builder

 

Builder() - Constructor for class org.eu.autogex.models.DFA.Builder

Default constructor for DFA Builder.

Builder() - Constructor for class org.eu.autogex.models.ENFA.Builder

Default constructor for ENFA Builder.

Builder() - Constructor for class org.eu.autogex.models.NFA.Builder

Default constructor for NFA Builder.

C

CharClassNode(Set) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

Creates an instance of a CharClassNode record class.

chars() - Method in record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

Returns the value of the chars record component.

child() - Method in record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

Returns the value of the child record component.

child() - Method in record class org.eu.autogex.regex.ast.RegexNode.PlusNode

Returns the value of the child record component.

child() - Method in record class org.eu.autogex.regex.ast.RegexNode.StarNode

Returns the value of the child record component.

ConcatNode(RegexNode, RegexNode) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Creates an instance of a ConcatNode record class.

construct(RegexNode) - Static method in class org.eu.autogex.algorithms.ThompsonConstructor

Converts a Regex AST into an ENFA.

Converter - Class in org.eu.autogex.algorithms

Utility class for Finite State Automata conversion.

D

DFA - Class in org.eu.autogex.models

Deterministic Finite Automaton (DFA).

DFA.Builder - Class in org.eu.autogex.models

Builder pattern to construct the DFA fluently.

E

ENFA - Class in org.eu.autogex.models

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

ENFA.Builder - Class in org.eu.autogex.models

Builder pattern to construct the ENFA fluently.

enfaToDfa(ENFA) - Static method in class org.eu.autogex.algorithms.Converter

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

enfaToNfa(ENFA) - Static method in class org.eu.autogex.algorithms.Converter

Converts an ε-NFA into an NFA.

epsilonClosure(Set) - Method in class org.eu.autogex.models.ENFA

Computes the ε-closure of a set of states.

equals(Object) - Method in class org.eu.autogex.core.State

 

equals(Object) - Method in record class org.eu.autogex.core.Transition

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.PlusNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.StarNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.regex.ast.RegexNode.WildcardNode

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class org.eu.autogex.trace.ExecutionStep

Indicates whether some other object is "equal to" this one.

execute(String) - Method in interface org.eu.autogex.core.Automaton

Processes the input string and returns a detailed execution trace.

execute(String) - Method in class org.eu.autogex.models.DFA

 

execute(String) - Method in class org.eu.autogex.models.ENFA

 

execute(String) - Method in class org.eu.autogex.models.NFA

 

ExecutionStep - Record Class in org.eu.autogex.trace

Represents a single evaluation step within an automaton's execution trace.

ExecutionStep(Set, Character, Set) - Constructor for record class org.eu.autogex.trace.ExecutionStep

Creates an instance of a ExecutionStep record class.

ExecutionTrace - Class in org.eu.autogex.trace

Contains the complete chronological sequence of states evaluated by an automaton when processing a specific input string.

ExecutionTrace(String, List, boolean) - Constructor for class org.eu.autogex.trace.ExecutionTrace

Constructs a new ExecutionTrace.

F

from() - Method in record class org.eu.autogex.core.Transition

Returns the value of the from record component.

fromStates() - Method in record class org.eu.autogex.trace.ExecutionStep

Returns the value of the fromStates record component.

G

getAutomaton() - Method in class org.eu.autogex.regex.Regex

Retrieves the underlying compiled and minimized DFA.

getFinalStates() - Method in class org.eu.autogex.core.AbstractAutomaton

 

getFinalStates() - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Gets the set of all registered final states.

getFinalStates() - Method in interface org.eu.autogex.core.Automaton

Retrieves all the accepting (final) states of the automaton.

getFormattedTrace() - Method in class org.eu.autogex.trace.ExecutionTrace

Generates a beautifully formatted multiline string mapping the entire execution path.

getInitialState() - Method in class org.eu.autogex.core.AbstractAutomaton

 

getInitialState() - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Gets the registered initial state.

getInitialState() - Method in interface org.eu.autogex.core.Automaton

Retrieves the starting state of the automaton.

getInput() - Method in class org.eu.autogex.trace.ExecutionTrace

Returns the original input string.

getName() - Method in class org.eu.autogex.core.State

Gets the name of the state.

getPattern() - Method in class org.eu.autogex.regex.Regex

Retrieves the original regular expression pattern.

getStates() - Method in class org.eu.autogex.core.AbstractAutomaton

 

getStates() - Method in interface org.eu.autogex.core.Automaton

Retrieves all the states within the automaton.

getStatesMap() - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Gets the map of all registered states.

getSteps() - Method in class org.eu.autogex.trace.ExecutionTrace

Returns the list of execution steps.

getTransitionTable() - Method in class org.eu.autogex.models.DFA

Retrieves the internal transition table of the DFA.

getTransitionTable() - Method in class org.eu.autogex.models.ENFA

Retrieves the internal transition table of the ENFA.

getTransitionTable() - Method in class org.eu.autogex.models.NFA

Retrieves the internal transition table of the NFA.

GraphvizExporter - Class in org.eu.autogex.export

Utility class for exporting automata to the Graphviz DOT language format.

H

hashCode() - Method in class org.eu.autogex.core.State

 

hashCode() - Method in record class org.eu.autogex.core.Transition

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.PlusNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.StarNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.regex.ast.RegexNode.WildcardNode

Returns a hash code value for this object.

hashCode() - Method in record class org.eu.autogex.trace.ExecutionStep

Returns a hash code value for this object.

I

isAccepted() - Method in class org.eu.autogex.trace.ExecutionTrace

Returns the final evaluation outcome.

isEpsilon() - Method in record class org.eu.autogex.core.Transition

Checks if this is a silent transition.

isFinal() - Method in class org.eu.autogex.core.State

Checks if the state is a final (accepting) state.

L

left() - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Returns the value of the left record component.

left() - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Returns the value of the left record component.

LiteralNode(char) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

Creates an instance of a LiteralNode record class.

M

matches(String) - Method in class org.eu.autogex.regex.Regex

Checks if the input string perfectly matches the regular expression.

MermaidExporter - Class in org.eu.autogex.export

Utility class for exporting automata to the Mermaid.js stateDiagram-v2 format.

minimize(DFA) - Static method in class org.eu.autogex.algorithms.Minimizer

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

Minimizer - Class in org.eu.autogex.algorithms

Utility class for DFA minimization.

N

NFA - Class in org.eu.autogex.models

Non-Deterministic Finite Automaton (NFA).

NFA.Builder - Class in org.eu.autogex.models

Builder pattern to construct the NFA fluently.

nfaToDfa(NFA) - Static method in class org.eu.autogex.algorithms.Converter

Converts an NFA into a DFA.

O

OptionalNode(RegexNode) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

Creates an instance of a OptionalNode record class.

org.eu.autogex - module org.eu.autogex

The AutoGex module provides a comprehensive engine for Regular Expression parsing and Automata theory operations.

org.eu.autogex - package org.eu.autogex

AutoGex root package.

org.eu.autogex.algorithms - package org.eu.autogex.algorithms

 

org.eu.autogex.core - package org.eu.autogex.core

 

org.eu.autogex.export - package org.eu.autogex.export

 

org.eu.autogex.models - package org.eu.autogex.models

 

org.eu.autogex.regex - package org.eu.autogex.regex

 

org.eu.autogex.regex.ast - package org.eu.autogex.regex.ast

 

org.eu.autogex.regex.parser - package org.eu.autogex.regex.parser

 

org.eu.autogex.trace - package org.eu.autogex.trace

 

P

parse(String) - Static method in class org.eu.autogex.regex.parser.RegexParser

Parses a regular expression string into an AST.

PlusNode(RegexNode) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.PlusNode

Creates an instance of a PlusNode record class.

R

Regex - Class in org.eu.autogex.regex

Facade class representing a compiled Regular Expression.

Regex(String) - Constructor for class org.eu.autogex.regex.Regex

Compiles the given regular expression into a highly optimized Minimal DFA.

RegexNode - Interface in org.eu.autogex.regex.ast

Base interface for all nodes in the Regular Expression Abstract Syntax Tree (AST).

RegexNode.CharClassNode - Record Class in org.eu.autogex.regex.ast

Represents a Character Class, allowing any character from a defined set (e.g., "[a-z]", "\d").

RegexNode.ConcatNode - Record Class in org.eu.autogex.regex.ast

Represents the concatenation of two regular expressions (e.g., "ab").

RegexNode.LiteralNode - Record Class in org.eu.autogex.regex.ast

Represents a single literal character in the regex (e.g., 'a', 'b').

RegexNode.OptionalNode - Record Class in org.eu.autogex.regex.ast

Represents the Optional operator, allowing zero or one occurrence (e.g., "a?").

RegexNode.PlusNode - Record Class in org.eu.autogex.regex.ast

Represents the Plus operator, allowing one or more repetitions (e.g., "a+").

RegexNode.StarNode - Record Class in org.eu.autogex.regex.ast

Represents the Kleene Star operator, allowing zero or more repetitions (e.g., "a*").

RegexNode.UnionNode - Record Class in org.eu.autogex.regex.ast

Represents the union (OR) of two regular expressions (e.g., "a|b").

RegexNode.Visitor<T> - Interface in org.eu.autogex.regex.ast

The Visitor interface for the AST nodes.

RegexNode.WildcardNode - Record Class in org.eu.autogex.regex.ast

Represents the Wildcard operator, matching any character in the known alphabet (e.g., ".").

RegexParser - Class in org.eu.autogex.regex.parser

A Recursive Descent Parser that converts a Regular Expression string into an Abstract Syntax Tree (AST). * Grammar implemented: Regex -> Term ( '|' Term )* Term -> Factor ( Factor )* (Implicit concatenation) Factor -> Base ( '*' | '+' | '?'

right() - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Returns the value of the right record component.

right() - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Returns the value of the right record component.

S

setInitialState(String) - Method in class org.eu.autogex.core.AbstractAutomatonBuilder

Sets the initial state of the automaton.

StarNode(RegexNode) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.StarNode

Creates an instance of a StarNode record class.

State - Class in org.eu.autogex.core

Represents a state (q) within an automaton.

State(String, boolean) - Constructor for class org.eu.autogex.core.State

Constructs a new State.

symbol() - Method in record class org.eu.autogex.core.Transition

Returns the value of the symbol record component.

symbol() - Method in record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

Returns the value of the symbol record component.

symbolRead() - Method in record class org.eu.autogex.trace.ExecutionStep

Returns the value of the symbolRead record component.

T

ThompsonConstructor - Class in org.eu.autogex.algorithms

Implements Thompson's Construction algorithm to convert an Abstract Syntax Tree (AST) of a regular expression into an Epsilon-NFA (ENFA).

to() - Method in record class org.eu.autogex.core.Transition

Returns the value of the to record component.

toDot(DFA) - Static method in class org.eu.autogex.export.GraphvizExporter

Exports a DFA to a DOT format string.

toDot(ENFA) - Static method in class org.eu.autogex.export.GraphvizExporter

Exports an ENFA to a DOT format string.

toDot(NFA) - Static method in class org.eu.autogex.export.GraphvizExporter

Exports an NFA to a DOT format string.

toDotGraph() - Method in class org.eu.autogex.regex.Regex

Exports the compiled minimal DFA to the Graphviz DOT language format.

toMermaid(DFA) - Static method in class org.eu.autogex.export.MermaidExporter

Exports a DFA to a Mermaid format string.

toMermaid(ENFA) - Static method in class org.eu.autogex.export.MermaidExporter

Exports an ENFA to a Mermaid format string.

toMermaid(NFA) - Static method in class org.eu.autogex.export.MermaidExporter

Exports an NFA to a Mermaid format string.

toMermaidGraph() - Method in class org.eu.autogex.regex.Regex

Exports the compiled minimal DFA to the Mermaid.js stateDiagram-v2 format.

toStates() - Method in record class org.eu.autogex.trace.ExecutionStep

Returns the value of the toStates record component.

toString() - Method in class org.eu.autogex.core.State

 

toString() - Method in record class org.eu.autogex.core.Transition

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.CharClassNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.ConcatNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.LiteralNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.OptionalNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.PlusNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.StarNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.regex.ast.RegexNode.WildcardNode

Returns a string representation of this record class.

toString() - Method in record class org.eu.autogex.trace.ExecutionStep

Formats the execution step into a highly readable mathematical string.

Transition - Record Class in org.eu.autogex.core

Represents a single transition from one state to another by reading a symbol.

Transition(State, Character, State) - Constructor for record class org.eu.autogex.core.Transition

Creates an instance of a Transition record class.

U

UnionNode(RegexNode, RegexNode) - Constructor for record class org.eu.autogex.regex.ast.RegexNode.UnionNode

Creates an instance of a UnionNode record class.

V

VERSION - Static variable in class org.eu.autogex.AutoGex

The current version of the AutoGex library.

visit(RegexNode.CharClassNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a CharClassNode.

visit(RegexNode.ConcatNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a ConcatNode.

visit(RegexNode.LiteralNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a LiteralNode.

visit(RegexNode.OptionalNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits an OptionalNode.

visit(RegexNode.PlusNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a PlusNode.

visit(RegexNode.StarNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a StarNode.

visit(RegexNode.UnionNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a UnionNode.

visit(RegexNode.WildcardNode) - Method in interface org.eu.autogex.regex.ast.RegexNode.Visitor

Visits a WildcardNode.

W

WildcardNode() - Constructor for record class org.eu.autogex.regex.ast.RegexNode.WildcardNode

Creates an instance of a WildcardNode record class.