STRONG COMPUTABILITY AND VARIANTS OF UNIFORM HALTING PROBLEM

被引：11

作者：

HERMAN, GT

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1971年 / 17卷 / 02期

关键词：

D O I：

10.1002/malq.19710170117

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：115 / &

共 15 条

[1] SOLVABILITY OF HALTING PROBLEM FOR 2-STATE POST MACHINES [J].

AANDERAA, S ;

FISCHER, PC .

[2]

DAVIS MD, 1956, AUTOMATA STUDIES, P167

[3] QUANTIFICATIONAL VARIANTS ON HALTING PROBLEM FOR TURING MACHINES [J].

FISCHER, PC .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (03) :211-&

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

FISCHER, PC .

[5]

FISCHER PC, 1970, AM MATH SOC, V17, P209

[6]

Hadley G., 1962, LINEAR PROGRAMMING

HERMAN, GT .

INFORMATION AND CONTROL, 1969, 15 (04) :353-&

HERMAN, GT .

[9] A SIMPLE SOLUTION OF UNIFORM HALTING PROBLEM [J].

HERMAN, GT .

[10]

HERMES H, 1965, ENUMERABILITY DECIDA