Namespace Automata.Core

Classes

CanonicalAlphabet

Immutable and optimized representation of an alphabet with contiguous, ordered symbols.

Cfa

Canonical Finite-state Automaton (CFA).

Constants

Class representing automata related constants.

Dfa

Deterministic finite automaton (DFA).

IntSet

Immutable set of integers.

MutableAlphabet

Mutable alphabet associated with a finite state automaton.

Nfa

Nondeterministic finite automaton (NFA).

Structs

EpsilonTransition

An epsilon transition in an automaton, defined by a starting state and an ending state.

StateView

Read-only view of a state in an automaton, providing access to transitions from the state.

Transition

Represents a (symbolic) transition in an automaton, defined by a starting state, a symbol, and an ending state.

Interfaces

IAlphabet

Common interface for an alphabet associated with a finite state automaton.

IDfa

Common interface for deterministic finite automata, such as Dfa and Cfa.

IFsa

Finite state automaton (FSA) interface.