Package rationals.properties

Interface Summary

Interface	Description
BinaryTest	Interface describing binary tests (ie.
Relation	An interface for computing equivalences between automata.
UnaryTest	Unary test.

Class Summary

Class	Description
Bisimulation	This method computes the (strong) bisimulation relation between two states.
ContainsEpsilon	Checks whether an automaton recognizes the empty word.
isEmpty	Empty test.
isNormalized	Tests if an automaton is normalized.