add shift-or and dfa