Support output state based acceptance automata#3

longfangsong wants to merge 1 commit into

leonbohn:mainleonbohn/hoars:mainfrom

longfangsong:mainlongfangsong/hoars:mainCopy head branch name to clipboard