比约纳，D。 流程图机器。 （英语） Zbl 0213.43104号 北蒂茨克BIT。Inf.-behandl公司。 10, 415-442 (1970). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 68号01 软件理论的一般主题 68N20型 编译与解释理论 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，BIT，Nord.Tidskr。信息-行为。10、415--442（1970年；Zbl 0213.43104） 全文： DOI程序 参考文献： [1] R.M.Karp，《图论在数字计算机编程、信息和控制中的应用》，第3卷，1960年6月，第179-180页·doi:10.1016/S0019-9958（60）90757-9 [2] D.F.Martin和G.Estrin，计算模型和计算图模型中顶点概率的系统评估，J.ACM。，1967年4月，第14卷，第281-299页·兹伯利0168.15403 ·数字对象标识代码：10.1145/321386.321391 [3] D.C.Cooper，通过图变换将程序简化为标准形式，图论，国际研讨会，罗马，1966年7月，Gordon&；Breach（publ.New York）Dunod（publ Paris），1967年。 [4] D.C.Cooper，《图形的一些变换和标准形式及其在计算机程序中的应用》，《机器智能》，第2卷，（编辑：Michie，D.）Oliver&；博伊德，爱丁堡，1968年·Zbl 0223.05106号 [5] M.S.Paterson，《程序模式，机器智能》，（编辑：Michie，D.），第3卷，Oliver&；博伊德，爱丁堡，1958年，第19-31页。 [6] J.L.Baer和G.Estrin，与计算机程序有向图表示相关的频率数，Proc。HICSS，火奴鲁鲁，1969年1月，第139-142页。 [7] J.Cock和R.E.Miller，优化计算机程序的一些分析技术，Proc。HICSS，Holulu，1969年1月，第143-146页。 [8] 于。I.Ianov，《关于程序方案的等价和转换》，C.ACM。，第1卷，第10期，1958年，第8-12页·Zbl 0081.34604号 ·数字对象标识代码：10.1145/368924.368930 [9] 于。I.Ianov，《算法的逻辑方案》，（翻译：）《控制论问题》，第一卷，佩加蒙出版社（Lyapunov&Goodman编辑），伦敦，1960年，第82-140页。 [10] J.D.Rutledge，《关于Ianov程序模式》，J.ACM。第11卷，第1期，1964年1月，第1-9页·Zbl 0121.12107号 ·doi:10.1145/321203.321204 [11] P.Naur，《GIER ALGOL编译器的设计》，《自动编程年度回顾》（编辑：Richard Goodman），第4卷，Pregamon出版社，伦敦，1964年，第49-85页。 [12] C.Berge，《图论及其应用》，威利出版社，纽约，1962年·Zbl 0097.38903号 [13] C.Bohm和G.Jacopini，流程图，图灵机和只有两个形成规则的语言，C.ACM。，第9卷，第5期，1964年，第366–371页·Zbl 0145.24204号 ·数字对象标识代码：10.1145/355592.365646 [14] D.M.Kaplan，《初等程序强等价性的形式理论分析》，（论文）斯坦福大学，技术报告。CS 101，1968年6月12日。 [15] M.V.Wilkes，《编程语言的外部和内部系统》，《计算机杂志》，第11卷，第3期，1968年11月，第260-263页·Zbl 0174.48302号 ·doi:10.1093/comjnl/11.3260 [16] A.Ralston和H.S.Wilf，《数字计算机的数学方法》，第1卷，Wiley，纽约，1960年·Zbl 0089.12602号 [17] J.W.Backus等人，关于算法语言ALGOL 60的修订报告，（Ed.P.Naur）C.ACM。，第6卷，第1期，1963年，第1-17页·Zbl 0109.35105号 ·数字对象标识代码：10.1145/366193.366201 [18] B.Randell和L.J.Russel，《ALGOL 60实施》，学术出版社，伦敦，1964年。 [19] J.N.Gray和M.A.Harrison，序列关系理论，信息与；控制，第9卷，第435-468页·Zbl 0148.25104号 [20] S.Ginsburg，《无上下文语言的数学理论》，McGraw-Hill，纽约，1966年·Zbl 0184.28401号 [21] D.E.Knuth，Top-Down句法分析，注释，1967年国际暑期学校，（北约高级研究所）编程语言，丹麦哥本哈根。 [22] D.Björner，《有限状态语法定向转导理论》（论文），丹麦技术大学，丹麦林比，1969年。 [23] N.Wirth和C.A.R.Hoare，对ALGOL发展的贡献，C.ACM。，第9卷，第6期，1966年6月，第413–432页·Zbl 0143.18603号 ·doi:10.1145/365696.365702 [24] E.W.Dijkstra，转到被认为有害的声明，（致编辑的信）C.ACM。，第11卷，第3期，1968年3月，第147-148页·数字对象标识代码：10.1145/362929.362947 [25] D.A.Adams，《数据顺序控制的计算模型》，斯坦福大学，《计算机科学报告》，CS1171968年5月。 [26] D.Björner，《流程图机器》，IBM研究报告RJ6851970年4月。 [27] S.E.Lass，第四代计算机组织，AFIPS会议记录，第32卷，1968年，春季联合计算机会议，1968月30日至5月2日，新泽西州大西洋城，第435-441页。 [28] S.E.Lass，平面计算机组织，《计算机集团新闻》（IEEE出版），第2卷，第9期，1969年5月，第16-21页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。