namespace
finite_automata
Classes
-
template<typename Transitions>class FiniteAutomaton
- Represents a general finite automaton.
- class NondeterministicFiniteAutomaton
- Represents a general finite automaton.
- class NondeterministicTransitions
- A nondeterministic transition function in a finite automaton.
- class RecursiveAutomaton
Typedefs
Variables
Typedef documentation
using cppformlang:: finite_automata:: Symbol = std::int32_t
using cppformlang:: finite_automata:: State = std::uint32_t