SPECIFICATION LANGUAGES FOR MECHANICAL LANGUAGES AND THEIR PROCESSORS - A BAKERS DOZEN

被引：10

作者：

GORN, S

机构：

来源：

关键词：

D O I：

10.1145/366853.366856

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：532 / 542

页数：11

共 27 条

[1]

BACKUS JW, 1959, 1ST INT C INF PROC P

[2]

BERGE C, 1959, THEORIE GRAPHES APPL

[3] THEORY OF LOGICAL NETS [J].

BURKS, AW ;

WRIGHT, JB .

PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1953, 41 (10) :1357-1365

[4]

BURKS AW, 1956, J FRANKLIN I, V261, P299

[5]

BURKS AW, 1956, J FRANKLIN I, V261, P421

[6]

CHOMSKY N, 1956, IRE T INFORM THEOR, V2, P113

[7]

Chomsky N., 1959, INFORM CONTROL, V2, P137, DOI 10.1016/S0019-9958(59)90362-6

[8]

Davis M., 1958, COMPUTABILITY UNSOLV

[9] ON THE CONSTRUCTION OF MICRO-FLOWCHARTS [J].

GORN, S ;

INGERMAN, PZ ;

CROZIER, JB .

[10] STANDARDIZED PROGRAMMING METHODS AND UNIVERSAL CODING [J].

GORN, S .