Was ist Semantik?

[Daniel Thoma]

Hallo Gernot,

Ein Beispiel für eine Semantik im Sinne der Informatik:
Die Semantik einer Programmiersprache ist eine Funktion S die einem Wort der Programmiersprache (Ein Wort bedeutet hier eine zur Grammatik passende Zeichenfolge. Ein kompletes Programm ist ein Wort.) eine Funktion zuordnet, welche einer Speicherbelegung eine neue Speicherbelegung zuordnet.
Eine Semantik ist also eine Funktion von einem Wort nach irgendwas, was die Bedeutung abbildet.
Im Falle von Programmiersprachen lässt sich die Bedeutung sehr gut dadurch abbilden, dass man für alle einfachen Konstrukte der Programmiersprache Funktionen bastelt und alles andere daraus zusammensetzt.
Die Semantik von HTML zu formalisieren ist wohl etwas kniffliger, aber man könnte z.B. eine Sematikfunktion definieren, die einem HTML-Dokument eine Funktion zuordnet, welche einer Menge von Formatierungsanweisungen (z.B. in Form von CSS) eine Pixelmatrix zuordnet.
Damit hätte man zumindest mal den Darstellungsteil abgebildet. Der interaktive und der strukturierende Teil ist noch etwas unangenehmer.
Für HTML ist es auch nicht wirklich sinnvoll so etwas zu tun, weswegen es wohl auch noch niemand gemacht hat.

Das Beispiel zeigt aber, was die Semantik von HTML ist.

Das, was Du betrachtest, ist nicht die Sematik von HTML sondern die Semantik des gesammten Dokuments. (Welche Bedeutung wird dem Text mit seinem Layout zugeordnet) Das hat natürlich nichts mit Informatik zu tun.
Mit "Semantischem Markup" ist wohl gemeint, HTML so einzusetzen, dass die (strukturelle) Semantik von HTML der Struktur des beschriebenen Dokuments entspricht. Besonders geschickt gewählt ist der Begriff sicher nicht.

Grüße

Daniel