Syntaktische und semantische Definition algorithmischer Sprachen

Zusammenfassung

Im ersten Band haben wir algorithmische Sprachen begrifflich eingeführt und ihre 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 bzw. PASCAL¹ angelehnte oder eine andere wie die von ALGOL 60, LISP, COBOL, BASIC, 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.