AutoComplex工具Bjørn Kjos-HanssenUsing autocomplete, look up nondeterministic automaton complexity (including proofs) of binary strin看更多 »
