FLOW DIAGRAMS TURING MACHINES AND LANGUAGES WITH ONLY 2 FORMATION RULES

被引:176
作者
BOHM, C
JACOPINI, G
机构
关键词
D O I
10.1145/355592.365646
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:366 / &
相关论文
共 9 条
[1]  
ASSER G, 1961, Z MATH LOGIK GRUNDLA, V7, P20
[2]  
Bohm C., 1962, REND ACC NAZ LINCEI, V32, P913
[3]  
BOHM C, 1964, ICC B, V3, P187
[4]  
CIAMPA S, 1961, APR ATT CONV NAZ LOG, P73
[6]  
Hermes H., 1961, AUFZAHLBARKEIT ENTSC
[7]  
Ianov Yu.I., 1957, DOKLADY AKAD NAUK SS, V113, P39
[8]  
Peter R., 1958, DIALECTICA, V12, P373
[9]  
Riguet J., 1962, P ICC S SYMB LANG DA, P83