Sequentielle Formelübersetzung

Die Syntax einer Formelsprache wie ALGOL last sich als Folge von Zustanden beschreiben, die durch ein Keller genanntes Element angezeigt werden. Die Ubergange werden gesteuert durch zulassige Zustand-Zeichen-Paare, die sich in Form einer Ubergangsmatrix darstellen lassen. Diese Beschreibung liefert gleichzeitig eine auserst einfache Vorschrift zur Ubersetzung der Anweisungen der Formelsprache in Maschinenprogramme. Lediglich Optimisierungsprozesse wie die rekursive Adressenfortschaltung entziehen sich der sequentiellen Behandlung.The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element called cellar. Transitions are controlled by admissable state-symbol pairings which may be represented by a transition matrix. This description at the same time furnishes an extremely simple rule for translating statements of the algorithmic language into machine programs. Sequential treatment, however, is not feasible in the case of optimizing processes such as recursive address calculation.

[1]  Heinz Rutishauser Über automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen , 1951 .

[2]  F. L. Bauer The formula-controlled logical computer “Stanislaus” , 1960 .

[3]  Maurice V. Wilkes,et al.  The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint) , 1958 .

[4]  이기영,et al.  Die algorithmische Formelsprache ALGOL , 1959 .

[5]  A. J. Perlis,et al.  Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming , 1959, Numerische Mathematik.

[6]  Corrado Böhm,et al.  Calculatrices digitales. Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme , 1954 .

[7]  Peter B. Sheridan,et al.  The arithmetic translator-compiler of the IBM FORTRAN automatic coding system , 1959, CACM.

[8]  Wesley S. Melahn A Description of a Cooperative Venture in the Production of an Automatic Coding System , 1956, JACM.

[9]  Maurice V. Wilkes,et al.  The use of a ‘floating address’ system for orders in an automatic digital computer , 1953, Mathematical Proceedings of the Cambridge Philosophical Society.

[10]  N. Lehmann,et al.  H. Rutishauser, Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. (Mitteilungen aus dem Institut für angewandte Mathematik an der ETH. Zürich Nr. 3.) 45 S. m. 8 Abb. und 3 Strukturdiagrammen. Basel 1952. Verlag Birkhäuser. Preis brosch. 5,70 Schw. Fr , 1953 .

[11]  Herman H. Goldstine,et al.  Planning and coding of problems for an Electronic Computing Instrument , 1947 .