Closed GoogleCodeExporter closed 9 years ago
One can easily tell the equivalence of two states:
* they are from the same PREDECESSOR
* they have the same children (or their children are also equivalent)
New Algorithm:
1. Set initial states to be equivalent (not true equivalence, just assumed
equivalence)
2. For each of the transitions:
* if no assumed equivalent state for source state, return false and stop the
process (so the traversal algorithm is very important in this new algorithm)
* if target states have different number of children, or the inputs are different,
return false and stop the process
* set target states as equivalent
* continue the process
Original comment by lemontree.cool
on 5 Oct 2008 at 3:46
Original comment by lemontree.cool
on 21 May 2009 at 3:09
Original comment by lemontree.cool
on 18 Jul 2009 at 2:55
Original issue reported on code.google.com by
lemontree.cool
on 5 Oct 2008 at 3:39