AUTOMATED MODELS OF TURING-MACHINES

被引：0

作者：

ZAKHAROV, VA

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1986年 / 291卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：280 / 284

页数：5

相关论文

共 5 条

[1] Itkin V. E., 1972, KIBERNETIKA, P5
[2] LETICHEVSKII AA, 1967, KIBERNETIKA, P1
[3] MALTSEV AI, 1965, ALGORITMY REKURSIVNY
[4] CLASSES OF RECURSIVELY ENUMERABLE SETS AND THEIR DECISION PROBLEMS
RICE, HG
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 74 (MAR) : 358 - 366
[5] YANOV YI, 1958, PROBL KIBERNETIKI, P73