中文:
图灵机停机问题
英文翻译:
【计】
halting problem of Turing machine
中文:多道图灵机英文翻译:【计】multitrack-Turing machine...
中文:多维图灵机英文翻译:【计】multidimension Turing machine...
中文:图灵机可计算性英文翻译:【计】Turing computability...
中文:图灵机形式化英文翻译:【计】Turing machine formalization...
中文:图灵机可计算函数英文翻译:【计】Turing computable function...