Formale Semantikdefinition


... [Seminar Programmierkonzepte und -sprachen] ... [↑ Gliederung] ... [← Einleitung] ... [→ Eine Beispielsprache] ...

Übersicht: Formale Semantikdefinition


Warum Formale Semantikdefinition?

Eine Sprache bietet eine Vielfalt an verschiedenen Konstrukten, und sowohl der Sprachbenutzer als auch der Implementierer benötigen eine genaue Definition jedes Sprachkonstuktes. Die Bedeutung einzelner Sprachkonstrukte wurde anfangs mittels einer natürlichen Sprache erklärt. Leider ist diese Sprache oft zweideutig. So entstanden viele meist englischsprachige "Meisterwerke scheinbarer Klarheit". Die Folge war, dass die Semantik eines Konstruktes von Lesern unterschiedlich interpretiert wurden. Es hat sich also gezeigt, dass die natürliche Sprache zur Beschreibung der Semantk ungeeignet war; so hat man sich dann uaf die formale Sprache der Mathematik zurückgezogen.

Eine formale und sehr präzise Beschreibung der Bedeutung von Programmen ist eine unerlässliche Voraussetzung für viele Dinge, die Programmiersprachen und Programmierung betreffen, so insbesondere für


Drei Hauptansätze

Ein einheitliches mathematisches System für die Erstellung einer präzisen Semantikdefinition gibt es nicht. Stattdessen wurden viele verschiedene Methoden entwickelt. Drei Hauptansätze werden in diesem Seminar vorgestellt


... [Seminar Programmierkonzepte und -sprachen] ... [↑ Gliederung] ... [← Einleitung] ... [→ Eine Beispielsprache] ...