ist ein Teilgebiet der Linguistik (Sprachwissenschaft).
In der Informatik versteht man unter Semantik den Umfang einer auf einem Rechner angewandten Sprache, wie Programmier- oder Auszeichnungssprachen. Sie ist abhängig von der Syntax der jeweiligen Sprache.
Anders als so genannte lebende Sprachen, wie die deutsche, haben Computersprachen einen festgelegten Umfang und Aufbau. Sie erlauben dadurch eine einfache Bearbeitung durch einen Rechner, z. B. beim Validieren oder Compilieren.