Semantik

Die Theorie oder Wissenschaft von der Bedeutung der Zeichen wird ​Semantik oder auch die Bedeutungslehre genannt. ​Zeichen können dabei beliebige Symbole, Sätze oder Wörter sein.

In der Informatik ist die Semantik ein Anwendungsfall der logischen Semantik. Für formale Sprachen wird dabei neben der Syntax eine formale Semantik definiert, welche Anwendung im Bereich der Berechenbarkeitstheorie und Komplexitätstheorie, insbesondere aber in der Verifikation von Computerprogrammen, findet.