Maschinelle Verarbeitung von Programmsprachen

Zusammenfassung

Aus der sogenannten „automatischen Programmierung” heraus hat sich die maschinelle Verarbeitung von Programmsprachen entwickelt, der heute große praktische Bedeutung zukommt. Die damit verbundene Einsicht in den Aufbau formaler Sprachen zeigt zahlreiche Berührungspunkte mit der mathematischen Logik auf. Die hier in erster Linie interessierenden problemnahen Programmsprachen sind jedoch schon weitgehend gebunden durch Konventionen im Bereich derjenigen wissenschaftlichen Disziplin, der eine solche Sprache dienen soll.

Durch sequentielles Arbeiten mit rekursiven Prozessen kann die praktische Durchführung der maschinellen Verarbeitung — die Übersetzung — zeitlich und speichermäßig höchst effektiv gemacht werden. Der Umfang der Aufgabe, das erzeugte Programm zu optimisieren, also an vorhandene maschinelle Einrichtungen anzupassen, wächst jedoch mit der Allgemeingültigkeit der Sprache, und bisher liegen nur isolierte Ansätze zur Lösung dieser Aufgabe vor.

Angesichts der erheblichen Arbeit, die heute in die Programmierung von Übersetzern gesteckt wird, verdienen die Entwicklung von Metasprachen und von Methoden zur Erzeugung von Übersetzern aus der syntaktischen Beschreibung heraus große Beachtung.

Summary

The methods of processing programming languages by computers, which are of considerable practical importance today, have developed from the so-called “automatic programming”. The insight into the structure of formal languages gained from this development reveals numerous points of contact to formal logics. Problem oriented programming languages, however, which are the primary topic of this article, are to a large extent bound by the conventions of the respective scientific domain which the said programming languages have to serve.

The practical execution of the processing procedure by computers, i. e. the translating, can be made extremely efficient as to profit of time and storage by adopting a sequential mode of working with recursive processes. The problems of optimizing the generated program, i. e. to adapt it to existing hardware, increase with the generality of the language. Up to now only isolated attempts have been made toward solving such problems.

Considerable work is being invested today into the construction of translating programs. Therefore, particular attention should be given to the development of metalanguages and to methods of generating translators from the syntactical description of the language to be translated.

Résumé

Le traitement mécanique des langages de programmation (c’est-à-dire des langages utilisés pour établir les programmes) qui a pris aujourd’hui une grande importance pratique s’est développé à partir de ce qu’on apelle la «programmation automatique». L’aperçu ainsi donné sur la structure des langues formelles, fait ressortir de nombreux points de contact avec la logique formelle. Les langages de programmation touchant aux problèmes, qui nous intéressent surtout ici, sont toutefois déjà fortement liés par des conventions dans le domaine de la discipline scientifique qui les utilise.

On peut rendre l’exécution pratique du traitement mécanique — la traduction — très efficace du point de vue rapidité et capacité de mémoire par des suites d’opération selon des méthodes de récurrence. L’ampleur de la tâche d’optimisation du programme établi, c’est-à-dire l’adaptation de ce dernier aux machines existantes, est d’autant plus grande que le langage est plus général et jusqu’ici on n’en a fait que quelques applications isolées.

En ce qui concerne le travail considérable qui réside dans l’établissement des programmes des traductrices, la mise au point de métalangues et de méthodes d’établissement de traductrices basée sur la description syntactique mérite une grande attention.