RECURSIVE UNSOLVABILITY OF POSTS PROBLEM OF TAG AND OTHER TOPICS IN THEORY OF TURING MACHINES

被引：413

作者：

MINSKY, ML

机构：

来源：

关键词：

D O I：

10.2307/1970290

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：437 / +

相关论文

共 7 条

[1]

Davis M., 1958, COMPUTABILITY UNSOLV

[2]

POST E, 1943, AM J MATH, V65, P196

[3]

RABIN MO, 1959, IBM J RES DEVEL, V3

[4]

SHANNON CE, 1956, AUTOMATA STUDIES

[5]

Turing AM, 1937, P LOND MATH SOC, V43, P544

[6]

Turing AM, 1937, P LOND MATH SOC, V42, P230, DOI 10.1112/plms/s2-42.1.230

[7]

WANG H, 1957, J ASSOC COMPUTING MA