Uses of Package
finiteAutomata

Classes in finiteAutomata used by finiteAutomata

Alphabet
A non-empty set of symbols.

CNFRule
Rules for the CNF class.

DFA
Deterministic Finite Automaton.

IntSet
Finite set of integers, used to represent sets of states in finite automata.

NFA
Nondeterministic Finite Automaton.

StringVarTerm
A non-empty string of variables and terminals such as occur in grammar derivations (supports the CNF class).