常見例句雙語(yǔ)例句Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.在其終止性可判定理論的基礎(chǔ)上,對(duì)于給定非終止循環(huán)構(gòu)造出其非終止輸入作為反例,使該結(jié)果更加完整。 返回 loop termination