Implicit manipulation of equivalence classes for large finite state machines