Package FSA

Class Summary
DFA This class represents a Deterministic Finite Automaton.
DFA_Reader This class provides a method for reading DFA files.
DFA_Table This class represents the state/transition table (move function) of a DFA.
NFA This class represents a Nondeterministic Finite Automaton.
NFA_Reader This class provides a method for reading NFA files.
NFA_Table This class represents the state/transition table (move function) of an NFA.
StateSet This class represents a set of states (S, T, etc.).