Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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.
StringVarTerm
          A non-empty string of variables and terminals such as occur in grammar derivations (supports the CNF class).
 

Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES