Implementation of Finite State Automata in both Nondeterministic and Deterministic forms, together with a set of conversions, processing, analysis, and visualization utilities.
Exports an alphabet for an arbitrary finite state automaton.
Implementation of core data structures.
The structure for defining deterministic finite automata.
The structure for defining non-deterministic finite automata.
Simple API for constructing regex patterns that are used in parser implementation.
This module exports State implementation for Nondeterministic Finite Automata.
Defines a Symbol that is operated on by the finite automata.
Quote a character as a character pattern.
Quote a string as a literal pattern.