Specification languages for mechanical languages and their processors a baker's dozen

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee

Full text

Pdf (1.23 MB)

Source

Communications of the ACM archive
Volume 4 , Issue 12 (December 1961) table of contents

Pages: 532 - 542

Year of Publication: 1961

ISSN:0001-0782

Author

Saul Gorn

Univ. of Pennsylvania, PA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 19, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/366853.366856 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BERGE, C. Theorie des Graphes et ses Applications. Paris, Dunod, 1959.
	2	BURKS, A. W., AND WRIGHT, J. B. Theory of logical nets. Proc. IRE, 41 (1953), 1357-1365.
	3	BURXS, A. W., Ann CoPi, I .M . The logical design of an idealized general-purpose computer. J. Franklin Inst. 261 (1956), 299-314; 421-436.
	4	CHOMSKV, N. On certain formal properties of grammars. Informat. Contr. 2 (June 1959), 137-167.
	5	CHOMSKV, N. Three models for the description of language. IRE Trans. Informat. Theory IT-2, 3 (Sept. 1956), 113-124.
	6	Dxvls, M. Computability and Unsolvability. New York, McGraw-Hill, 1958.
	7	GORN, S. Common programming language task, FT. I, Sec. 5. Final Report AD59UR1, U.S. Army Signal Corps, Contract No. DA-36-039-sc-75047. The Moore School of Electrical Engineering, University of Pennsylvania (July, 31, 1959).
	8	GORN, S. Common programming language task, Ft. I. Final Report, AD60UR1, U.S. Army Signal Corps, Contract No. DA-36-039-sc-75047. The Moore School of Electrical Engineering, University of Pennsylvania (June 30, 1960).
	9	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, Communications of the ACM, v.4 n.8, p.336-339, Aug. 1961 [doi>10.1145/366678.366682]
	10	Saul Gorn, Standardized Programming Methods and Universal Coding, Journal of the ACM (JACM), v.4 n.3, p.254-273, July 1957 [doi>10.1145/320881.320883]
	11	GORN, S. The treatment of ambiguity and paradox in mechanical languages. AFOSR TN-603-61, U.S. Air Force Contract No. AF-49(638)-951; The Office of Computer Research and Education, University of Pennsylvania (Apr. 1961).
	12	S. Gorn , P. Z. Ingerman , J. B. Crozier, On the construction of micro-flowcharts, Communications of the ACM, v.2 n.10, p.27-31, Oct. 1959 [doi>10.1145/368453.368468]
	13	HOHN, F. E. Boolean matrices and the design of combinational relay switching circuit. Bell System Tech. J. 34 (Jan. 1955), 177-202.
	14	HOHN, F. E., SESHU, S., AND AUFENKAMP, D.D. The theory of nets. IRE Trans. Electr. Comput. EC-6, 3 (1957), 154-161.
	15	iKLEENE, S. C. Representation of events in nerve nets and finite automata. In Automata Studies, C. E. Shannon and J. McCarthy, eds., pp. 3-41. Princeton, Princeton University Press, 1956.
	16	McNAuGttTON, m., AND YAMADA, H. Regular expressions and state graphs for automata. WADC TN 59-192, U.S. Air Force Contract AF 33 (616)-5886; The Moore School of Electrical Engineering, University of Pennsylvania, Report No. 60-06 (July 1, 1959).
	17	MEALY, G. H. Method of synthesizing sequential circuits. Bell System Tech. J. 84 (Sept. 1955), 1045-1079.
	18	MINSKY, M. A 6-symbol 7-state universal Turing machine. Report No. 54G-0027 Contract AF 19(604)5200, Aug. 17, 1960, Lincoln Lab., MIT
	19	MOORE, E. F. Gedanken-experiments on sequential machines. In Automata Studies, C. E. Shannon and J. McCarthy, eds. pp. 129-153. Princeton, Princeton University Press, 1956.
	20	E. F. Moore, A simplified universal Turing machine, Proceedings of the 1952 ACM national meeting (Toronto), p.50-54, June 1952, Toronto, Ontario, Canada [doi>10.1145/800259.808993]
	21	Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960 [doi>10.1145/367236.367262]
	22	0ETTINGER, A. G. Automatic syntactic analysis and the pushdown store. Proc. Symposia in Applied Mathematics, American Mathematical Society, 1961.
	23	VEBLEN, 0. Analysis Situs. New York, American Mathematical Society, 1931.
	24	WILKES, M. V. Automatic Digital Computers. London, Methuen, 1957.
	25	BACKUS, J. W. The syntax and semantics of the proposed International Algebraic Language of the Zurich ACM- GAMM Conference. Presented at the First International Conference on Information Processing (ICIP) June 13-23, 1959 in Paris, France. International Business Machines Corp., New York, USA.
	26	WEGSTEIN, J. A general purpose pseudocode. Annual ACM Conf., Ann Arbor, Mich., June 1954. A more extensive bibliography and further discussion of some of these languages may be found in:
	27	McNaughton, R. The theory of automata-a survey. In Advances in Computers, v. 2, Franz L. Alt (ed.) New York, Academic Press, 1961.

CITED BY 13

	Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968
	W. H. Burge, The evaluation, classification and interpretation of expressions, Proceedings of the 1964 19th ACM national conference, p.11.401-11.4022, January 1964
	Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003
	Saul Gorn, Mechanical pragmatics: a time-motion study of a miniature mechanical linguistic system: a set of examples presented to ASA X3-4 subcommittee, Communications of the ACM, v.5 n.12, p.576-589, Dec. 1962
	Saul Gorn, Theory of mechanical languages, Communications of the ACM, v.5 n.1, p.62, Jan. 1962
	Corrado Böhm , Giuseppe Jacopini, Flow diagrams, turing machines and languages with only two formation rules, Communications of the ACM, v.9 n.5, p.366-371, May 1966
	Mark Resnick , Jerome Sable, Inscan: A syntax-directed language processor, Proceedings of the 1968 23rd ACM national conference, p.423-432, August 27-29, 1968
	Roger L. Boyell, Real-time simulation of mapping radar, Communications of the ACM, v.5 n.1, p.61, Jan. 1962
	Alfonso Caracciolo Di Forino, Some remarks on the syntax of symbolic programming languages, Communications of the ACM, v.6 n.8, p.456-460, Aug. 1963
	Steven I. Laszlo, The relevance of some compiler construction techniques to the description and translation of languages, Proceedings of the 1967 conference on Computational linguistics, p.1-10, August 23-25, 1967
	Donald E. Knuth, backus normal form vs. Backus Naur form, Communications of the ACM, v.7 n.12, p.735-736, Dec. 1964
	C. Böhm , G. Jacopini, Flow diagrams, Turing machines and languages with only two formation rules, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	Walter H. Burkhardt, Universal programming languages and processors: a brief survey and new concepts, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, November 30-December 01, 1965, Las Vegas, Nevada