UNIVERSALITY OF TAG SYSTEMS WITH P EQUALS 2

被引:52
作者
COCKE, J
MINSKY, M
机构
关键词
D O I
10.1145/321203.321206
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:15 / &
相关论文
共 5 条
[1]  
MINSKY M, 1962, P S RECURSIVE FUNCTI
[3]   COMPUTABILITY OF RECURSIVE FUNCTIONS [J].
SHEPHERDSON, JC ;
STURGIS, HE .
JOURNAL OF THE ACM, 1963, 10 (02) :217-&
[4]   A VARIANT TO TURINGS THEORY OF COMPUTING MACHINES [J].
WANG, H .
JOURNAL OF THE ACM, 1957, 4 (01) :63-92
[5]  
WANG H, TO APPEAR