NFA_to_DFA_conversion loading ...