的说法也有问题,正确的说法是:对任意的,总存在增长的()、总是停机的、收敛到全体 Java 可停机程序集合 JAVA 的合法 Java 程序集合的序列 J,满足
其中为对程序和输入计时,CPP 为所有可停机 C++ 程序集合。