Create 12-DFA-NFA