SOLVABILITY OF HALTING PROBLEM FOR 2-STATE POST MACHINES

被引：5

作者：

AANDERAA, S

FISCHER, PC

机构：

来源：

关键词：

D O I：

10.1145/321420.321426

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：677 / &

相关论文

共 7 条

[1]

Davis M., 1958, COMPUTABILITY UNSOLV

[2] ON FORMALISMS FOR TURING MACHINES [J].

FISCHER, PC .

[3]

Post E., 1947, J SYMBOLIC LOGIC, V12, P1, DOI DOI 10.2307/2267170

[4]

SHANNON CE, 1956, AUTOMATA STUDIES ED

[5]

SHANNON CE, 1956, AUTOMATA STUDIES

[6]

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

[7]

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