Uses of Package
FSA

Packages that use FSA

Package	Description
CA	Contract Automata, extends FSA implementing the functionalities of a CA
FMA	Finite Memory Automata, extends the package FSA.
FSA	Finite State Automata, this is the basic package including all the class to extend.
PFSA	Pushdown Nominal Automata, extends the package FSA.

Classes in FSA used by CA

Class and Description
FSA This class represents a FSA.
Simulator This class simulates a running of a FSA for accepting/refuting a string in input
Transition A tuple representing a Transition

Classes in FSA used by FMA

Class and Description
Continuation This class represents a freeze state of the simulator, it is used for backtracking
FSA This class represents a FSA.
Simulator This class simulates a running of a FSA for accepting/refuting a string in input
Transition A tuple representing a Transition

Classes in FSA used by FSA

Class and Description
Continuation This class represents a freeze state of the simulator, it is used for backtracking
FSA This class represents a FSA.
Simulator This class simulates a running of a FSA for accepting/refuting a string in input
Transition A tuple representing a Transition

Classes in FSA used by PFSA

Class and Description
Continuation This class represents a freeze state of the simulator, it is used for backtracking
FSA This class represents a FSA.
Simulator This class simulates a running of a FSA for accepting/refuting a string in input
Transition A tuple representing a Transition