INFERENCE OF TURING MACHINES FROM SAMPLE COMPUTATIONS

被引：24

作者：

BIERMANN, AW ^{[1
]}

机构：

[1] OHIO STATE UNIV,DEPT COMP & INFORMATION SC,COLUMBUS,OH

来源：

关键词：

D O I：

10.1016/0004-3702(72)90048-3

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：181 / 198

页数：18

共 21 条

[1]

AMAREL S, 1962, SELF ORGANIZING SYST

[2]

AMAREL S, 1971, MACHINE INTELLIGENCE, V6

[3]

Biermann A. W., 1972, FRONTIERS PATTERN RE

[4]

BIERMANN AW, 1972, IEEE T ELECTRON COMP, VC 21

[5]

Davis M., 1958, COMPUTABILITY UNSOLV

[6]

FELDMAN JA, 1972, AIM159 STANF U COMP

[7]

FELDMAN JA, 1969, CS125 STANF U COMP S

[8] REALIZATION OF INPUT-OUTPUT RELATIONS BY SEQUENTIAL MACHINES [J].

GILL, A .

[9]

GINSBURG S, 1962, INTRO MATHEMATICAL M

[10]

GINSBURG S, 1959, IRE T ELECTRON COMPU, VEC 8, P441