ON FORMALISMS FOR TURING MACHINES

被引：16

作者：

FISCHER, PC

机构：

来源：

关键词：

D O I：

10.1145/321296.321308

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：570 / &

共 9 条

[1]

AANDERAA S, IN PREPARATION

[2]

DAVIS M, 1956, AUTOMATA STUDIES

[3]

Davis M., 1958, COMPUTABILITY UNSOLV

[4]

HOOPER PK, 1965, AMER MATH SOC NOTICE

MINSKY, ML .

[6]

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

[7]

SHANNON CE, 1956, AUTOMATA STUDIES

[8] ALAN TURING [J].

Turing, Alan .

REVISTA MEDICA CLINICA LAS CONDES, 2022, 33 (06) :632-633

[9]

1937, P LONDON MATH SOC, V43, P544