A nonterminating input can be further constructed as a counterexample.
非终止输入可以进一步构造为反例。
2
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.