UNDECIDABILITY OF TURING MACHINE IMMORTALITY PROBLEM

被引：57

作者：

HOOPER, PK

机构：

来源：

关键词：

D O I：

10.2307/2269811

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：219 / &

共 10 条

[1]

Berger R., 1964, THESIS HARVARD U

[2] TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM [J].

BUCHI, JR .

[3]

Davis M., 1958, COMPUTABILITY UNSOLV

[4]

FISCHER PC, 1964, BL35 BELL TEL LAB RE

[5]

HOOPER PK, 1965, NOTICES AMERICAN MAT, V12, P371

[6]

MARKOV A. A., 1961, THEORY ALGORITHMS

MINSKY, ML .

[8] COMPUTABILITY OF RECURSIVE FUNCTIONS [J].

SHEPHERDSON, JC ;

STURGIS, HE .

[9] TAG SYSTEMS AND LAG SYSTEMS [J].

WANG, H .

[10] A VARIANT TO TURINGS THEORY OF COMPUTING MACHINES [J].

WANG, H .