Grammatik, Semantik, Syntax - was versteht man darunter?

[Zocker95 (Gast)]

Was versteht man denn unter Grammatik, Semantik und der Syntax einer 
Sprache? Jetzt z.b bei C und HTML?
Syntax ist klar: Das ist der Aufbau der Sprache, an den man sich halten 
muss, sonst bekommt man einen Sytaxerror. Semantik ist glaube ich die 
Bedeutung von den Schlüsselwörtern, in C z.b return oder in HTML ein 
tag.
Weiter weiß ich dann aber auch nicht, etwas Hilfe wäre echt super.
Danke im Vorraus schonmal!!

[(prx) A. K. (prx)]

Grammatik: Formale Beschreibung der Syntax.

[Roland H. (batchman)]

Semantik steht für Bedeutung oder Sinn.

Während

int i = 4
i += 4;
i -= 4;

oder

int i = 4 / 0;

syntaktisch korrekt sind, macht es mehr oder weniger Sinn (auch wenn im 
letzten Fall gcc vermutlich den Sinn anzweifelt).

Oder

int f(int x, int m, int c) {
  return m * x + c;
}

ist syntaktisch gesprochen eine Funktion mit drei Argumentent, die 
arithmetisch verrechnet werden. Semantisch ist es eine lineare Funktion. 
Es ist sogar eine Funktion im mathematischen Sinn bzw. des funktionalen 
Paradigmas, da es bei gleichen Eingabewerten immer das gleiche Ergebnis 
erzeugt.

Ein Ziel kann es sein, mit syntaktischen Elementen Semantik zu 
verdeutlichen bzw. den Compiler bei der semantischen Intention ("was 
will ich damit ausdrücken?") helfen zu lassen:

int x;
{ 
  int i = 4;
  x = 5 + i;
}

Das syntaktische Element des anonymen Blocks bedeutet hier, dass der 
Scope von i reduziert wird. Die Intention bestand somit darin, dass i 
nur für die Berechnung von x herangezogen wird, und darüber hinaus nicht 
verwendet werden soll. Das wirkt in C ungewohnt oder gekünstelt (ich 
nutze es ziemlich oft).

In funktionalen Programmiersprachen (Lisp, Haskell, F# oder Scala) wird 
sehr viel Wert darauf gelegt, dass aus dem Zusammenspiel von Syntax und 
der Bibliothek die Semantik direkt ablesbar ist (höhere semantische 
"Ausdruckstärke"). Das ist m. E. in imperativen Sprachen wie Java/C++ 
schwieriger. Das letzte Beispiel in Scala sähe so aus:

val x = {
  val i = 4
  5 + i
}

und x ist in diesem Fall "const".

"Design patterns" geben somit gewissen Vorgehensweisen einen 
(semantischen) Namen, sozusagen zur Vereinfachung der 
Kommunikation/Dokumentation der Intention/Bedeutung.

Ein Gradmesser für die semantische Ausdrücksstärke könnte die Anzahl der 
Kommentare sein, die man benötigt, um aus der Syntax die Semantik 
abzuleiten. Immer wieder nett:

PORTA = 0x4e; // Aktiviere pins ....

besonders dann, wenn der Kommentar nicht mehr zum Code passt.