Package rationals.transformations

Interface Summary

Interface	Description
BinaryTransformation	A generic interface for binary operations between two automata.
UnaryTransformation	Unary transformation.

Class Summary

Class	Description
Complement	A transformation that computes the complement of an automaton.
Concatenation	Compute the concatenation of two automata.
EpsilonTransitionRemover	This class allows to remove epsilon transitions in an automaton.
HashValue	A simple class for encapsulating sets s.t.
Mix	This class implements the mix - ie: synchronization product - operator between two automatas.
Normalizer	A transformation that normalizes a given Automaton.
Pruner	Removes states that neither accessible nor coaccessible.
Reducer	Computes the minimal automaton from a deterministic automaton.
Shuffle	This class implements the shuffle operator between two automatas.
Star	Compute the kleene-star closure of an automaton.
ToDFA	Determinization of an automaton.
TransformationsToolBox	A set of utility methods used in transformations of automaton.
Union	Compute the union of two automaton.