HALTING PROBLEM OF ONE STATE TURING MACHINES WITH N-DIMENSIONAL TAPE

被引：4

作者：

HERMAN, GT

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1968年 / 14卷 / 02期

关键词：

D O I：

10.1002/malq.19680140706

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：185 / &