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

GORN, S .

[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