Some remarks on the syntax of symbolic programming languages

ABSTRACT

This paper concerns some preliminary results of an investigation of certain syntactical features of symbolic programming languages (SPL), which is a part of a wider research in the field of problem-oriented languages for automatic processor construction [1]. Our main aim is to point out certain peculiar features of SPL's which yield a deeper insight into their linguistic nature from a formal point of view, in order to take further steps in the direction of finding a proper way to define them. The general approach suggested here might be of some interest in the broader field of general linguistics, since many languages, including natural languages, show similar properties.

REFERENCES

• 1: CARACCIOLO DI FORINO, A. On a research project in the field of languages for processor construction. Proc. IFIP 2nd Int. Congress, Miinchen, 1962.
• 2: CARNAP, R. Introduction to Symbolic Logic and its applications. Dover Press, New York, 1958.
• 3: Saul Gorn, Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee, Communications of the ACM, v.4 n.12, p.532-542, Dec. 1961 [doi>10.1145/366853.366856]
• 4: 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]
• 5: BACKUS, J. W. The syntax and semantics of the proposed international algebraic language. Proc. Int. Conf. Unesco, Paris, 1959, Verlag Oldenburg, Munich, 1960.
• 6: CHOMSKY, N. On certain formal properties of grammars. Inf. Contr. 2 (11959); A note on phrase structure grammars. Inf. Contr. 2 (11959).
• 7: CHOMSKY, N., AND SCH~TZENBERGER, M. P. The algebraic theory of context free languages. In Computer Programming and Formal Systems, North-Holland, Amsterdam, 1963.
• 8: GINSBURG, S. AND ROSE, G. F. Two families of languages related to ALGOL. TM-578/000/01 SDC, Santa Monica, Calif., Oct. 1961.
• 9: CULIK, K. Formal structure of ALGOL and simplification of its description. Proc. Symp. Symbolic Languages, Rome, 1962.
• 10: Robert W. Floyd, On the nonexistence of a phrase structure grammar for ALGOL 60, Communications of the ACM, v.5 n.9, p.483-484, Sept. 1962 [doi>10.1145/368834.368898]