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.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
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.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
应用推荐