Specification languages for mechanical languages and their processors a baker's dozen
暂无分享,去创建一个
[1] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .
[2] Noam Chomsky,et al. Three models for the description of language , 1956, IRE Trans. Inf. Theory.
[3] Noam Chomsky,et al. On Certain Formal Properties of Grammars , 1959, Inf. Control..
[4] A. C. Aitken,et al. Automatic Digital Computers , 1956, Nature.
[5] S C Kleene,et al. Representation of Events in Nerve Nets and Finite Automata , 1951 .
[6] Friedrich L. Bauer,et al. Report on the algorithmic language ALGOL 60 , 1960, Commun. ACM.
[7] Saul Gorn,et al. THE TREATMENT OF AMBIGUITY AND PARADOX IN MECHANICAL LANGUAGES , 1961 .
[8] E. F. Moore. A simplified universal Turing machine , 1952, ACM '52.
[9] Saul Gorn,et al. Standardized Programming Methods and Universal Coding , 1957, JACM.
[10] Franz E. Hohn,et al. Boolean matrices and the design of combinational relay switching circuits , 1955 .
[11] John W. Backus,et al. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.
[12] Saul Gorn,et al. On the construction of micro-flowcharts , 1959, CACM.
[13] Saul Gorn. Some basic terminology connected with mechanical languages and their processors: a tentative base terminology presented to ASA x3.4 as a proposal for subsequent inclusion in a glossary , 1961, CACM.
[14] Robert McNaughton,et al. Regular Expressions and State Graphs for Automata , 1960, IRE Trans. Electron. Comput..
[15] M. V. Wilkes,et al. Automatic Digital Calculators , 1953 .
[16] Robert McNaughton,et al. The Theory of Automata, a Survey , 1961, Adv. Comput..
[17] GornSaul. Some basic terminology connected with mechanical languages and their processors , 1961 .
[18] A. Burks,et al. Theory of Logical Nets , 1953, Proceedings of the IRE.
[19] C. Berge. Théorie des graphes et ses applications , 1958 .
[20] Martin D. Davis,et al. Computability and Unsolvability , 1959, McGraw-Hill Series in Information Processing and Computers.
[21] Anthony G. Oettinger,et al. Automatic syntactic analysis and the pushdown store , 1961 .
[22] George H. Mealy,et al. A method for synthesizing sequential circuits , 1955 .
[23] Arthur W. Burks,et al. The logical design of an idealized general-purpose computer , 1956 .
[24] Sundaram Seshu,et al. The Theory of Nets , 1957, IRE Trans. Electron. Comput..