Transition Table Updates and Woking on Algorithm for Update

This commit has the header function for the update Transition table method
that we will use to up date the transition table. We have also added the
functionality of adding two states to the equivStates and diffStates tables
after you have tested the two states for equality.
Update to prior commit

Found a spelling error that would result in a nasty bug. Fixed the
spelling error and are pushing now.