Finalize state transitions and DFAFactory