Definition algorithmischer Sprachen:
Ø Syntax
· regelhafte Beschreibung (Festlegung) der äusseren Form einer
Zeichen- oder Wortfolge, die ein legales Konstrukt der algorith-
mischen Sprache ergibt.
· Regeln abhängig oder unabhängig von der Interpretation for-
mulierbar.
Ø Semantik
· regelhafte Bedeutungszuweisung zu bestimmten Kombinationen
von Wörtern.
· Voraussetzung: „höhere“ Sprache (Metasprache) zur Erläuterung
der Bedeutung der Programmiersprachenkonstrukte.
Ø Pragmatik
· Zurückführung der in der Sprache als primitiv anzusehenden
Operationen auf einzelne Textersetzungsschritte.