|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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). |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |