Ein Programm einer Rechenanlage zur LOsung einer bestimmten Art von Problemen injeweils endlich vielen Schritten he t Algorithmus und ist in Form einer end- lichen Zeichenkette gegeben. Eine Sprache ist die Menge alIer Zeichenketten, die nach der Grammatik der Sprache erzeugt werden konnen. ALGOL 60 rithmic language, herausgegeben fUr 1960 von Naur) ist eine Sprache, deren Zeichenketten slimtlich Algorithmen sind, d.h. eine Programm- oder Program- miersprache. Die ALGOL-60-Grammatik ist die erste Grammatik, die weitgehend aus (klaren) Formeln, sogenannten Semi-Thue-Produktionen (nach Thue 1914, spater Post 1943, Chomsky 1956, Backus 1959), und nicht aus (unklaren) verbalen Formulierungen besteht. Die Produktionen der ALGOL-60-Grammatik sind in graphischer Darstellung als Produktionsschemata (vgl. 2.7, 3.2 ft) fUr Horer alIer Fachrichtungen und sogar fUr SchUler ohne weiteres verstandlich. Beispiel eines Produktionsschemas (vgl. 2.3): Bezeichnung Buchstabe} ... {Buchstabe} { Buchstabe Ziffer Ziffer d.h. eine Bezeichnung ist eine endliche Zeichenkette aus Buchstaben bzw. Ziffern (und keinen sonstigen Zeichen wie etwa Komma), beginnend mit einem Buchstaben. Unterschlangeltes darf entfalIen. Neben den formalen Produktionsschemata enthiilt die ALGOL-60-Grammatik noch zuslitzliche verbale Regeln, die im folgenden "Zusatzregeln" genannt werden.