Grundlagen und Struktur von Pascal-Programmen

Zusammenfassung

Im vorangegangenen Kapitel ist deutlich geworden, daß zur vollständigen Formalisierung von Algorithmen, etwa in der Programmiersprache Pascal, eine genaue Definition der Regeln der Sprache (Syntax), also der zulässigen, korrekten Pascal-Programme, erforderlich ist. Die rein verbale Erklärung solcher Regeln ist äußerst umständlich und häufig nicht hinreichend präzise. Wir werden daher in möglichst vielen Fällen neben der verbalen eine formale Beschreibung der Syntax von Pascal angeben. Als Darstellungsform hierfür wählen wir die sogenannten Syntaxdiagramme, die wir im folgenden vorstellen und erläutern werden.