implement augment_dfa()