Grundlagen Der Informatik: Für Das Nebenfachstudium [German]

Die bisher aufgetretenen Grundbegriffe lassen sich folgenderma en zusammenfassen: Nachrichten haben Tr ger und Form; durch Interpretation gewinnt man aus ihnen Informationen. Sie werden in der Informatik durch Algorithmen verarbeitet. Ein Al- gorithmus ist ein spezieller Typ von Nachricht. Er ist syntaktisch exakt beschrieben in einer Befehlssprache, deren Semantik auf eine Struktur von Operationen auf Mengen von Werten von Objekten abbildet. Die Befehlssprache wird auf unterster Sprache- bene durch Ausf hrung interpretiert, w hrend sie auf h herer Sprachebene in eine primitivere Sprache bersetzt wird. Semantik und Syntax der Befehlssprache m ssen wegen der maschinellen bersetzung und Interpretation regelhaft formuliert sein. Deshalb werden im Kapitel 4 formale Sprachen exakter eingef hrt und genauer untersucht. Dabei wird die Rolle von meta- sprachlichen Algorithmen zur Festlegung von Syntax und Semantik einer formalen Sprache deutlich. Deshalb kann man formale Sprachen, auch wenn sie nicht Befehls- sprachen sind, nur unter Benutzung von Algorithmen beschreiben. Der Algorithmus- begriff f hrt also zur ck zu den formalen Sprachen und diese wiederum lassen sich nur mit Algorithmen (in Metasprache) darstellen. Das Vorgehen im Kapitel 4 wird vermutlich dem Leser etwas bertrieben abstrakt vor- kommen. Der Grund ist, da absolute Exaktheit in formalen Konstruktionen ge bt werden soll. Zu exakten Konstruktionen in der Informatik ben tigt man nat rlich auch Grundelemente der exakten Wissenschaft par excellence, n mlich der Mathe- matik. Dies wird hier aber lediglich als eine Erweiterung der Metasprache um ei- nige hilfreiche Begriffskonstruktionen aufgefa t. Deshalb werden die mathematischen Grundbegriffe im Kapitel 3 kurz zusammengestellt; dieseskann von mathematisch ausreichend vorgebildeten Lesern bersprungen werden.