Fixes + Transition table for Subset Construction.