NP的递归不可判定性
Recursively Undecidable Properties of NP
摘要：
我们表明，不可能有任何算法，对于一个给定的非确定性多项式时间图灵机确定是否属于P语言识别这台机器
英文摘要：
We show that there cannot be any algorithm that for a given nondeterministic polynomial-time Turing machine determinates whether or not the language recognized by this machine belongs to P
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
