Fixed machines to use counting to track the changes to Xi tables since memo tables aren't used.
State space visualizations.