Change DFA semantics#582

runtian-zhou wants to merge 2 commits intoaptos-foundation:mainaptos-foundation/AIPs:mainfrom

runtian-zhou:patch-7runtian-zhou/AIPs:patch-7Copy head branch name to clipboard