Use NFAVisitor for NFAComparator

[GoogleCodeExporter]

* change to static method

Original issue reported on code.google.com by lemontree.cool on 5 Oct 2008 at 3:39

[GoogleCodeExporter]

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

[GoogleCodeExporter]

Original comment by lemontree.cool on 21 May 2009 at 3:09

• Added labels: Component-fa

[GoogleCodeExporter]

Original comment by lemontree.cool on 18 Jul 2009 at 2:55

• Changed state: WontFix