"DFA <-> e-NFA"