infa->dfa and input accept (may)complete! need to refactoring