Syntaktische und semantische Definition algorithmischer Sprachen

Zusammenfassung

Im ersten Band haben wir algorithmische Sprachen begrifflich eingeführt und die formalen Gesetzmäßigkeiten im Hintergrund gelassen. Die Erörterungen des vorigen Kapitels setzen uns nun in den Stand, die äußere Form der Notation — sei es die von uns gewählte, an ALGOL 68 angelehnte oder eine andere wie die von ALGOL 60, EULER, PASCAL, SIMULÄ, FORTRAN — als formale Sprache zu beschreiben. Daß die zur Programmierung von Rechenanlagen, also nicht nur zur Kommunikation zwischen Menschen bestimmten Notationen algorithmischer Sprachen solcherart gesetzmäßig beschreibbar — syntaktisch definierbar — sein müssen, um überhaupt verwendbar zu sein, leuchtet ein.

„Un voyage au royaume des sciences, si l’on gravit quelque sommet ou que l’on s’approche des frontières, découvre dans la grisaille des lointains les masses imprécises d’édifices que l’on devine néanmoins puissants et somptueux“ Louis Couffignal