Die Semantik beschreibt den Inhalt eines Textes, also die Bedeutung der Zusammenhänge der Wörter. Neben der Syntax muss der Computer auch mit semantischen Bedeutungen klar kommen. Einfache Begriffe wie Adressen, Farben, Objekte sind leichter in  einer Programmiersprache zu verwalten. Abstrakte Bedeutungen wie Gefühle oder Stimmungen, Freiheit usw. versteht ein Computer nicht wirklich. Er kann sich die Bedeutung auch nicht aus dem semantischen Kontext ziehen (wie soll er auch, es sind ja  menschliche Gefühle, ein Computer kann nicht sterben, er kann sich nicht fortpflanzen oder weinen ;-).  Man könnte versuchen, eine Begriffsstruktur vorzugeben, jedoch lassen sich für diese abstrakten Begriffe keine eindeutigen Regeln finden, die sie aus dem  Kontext erklären könnten. Letztlich verstehen heutige Computer nur Null und Eins (Strom oder Nicht-Strom). Ein neurobiologischer Computer oder ein Quantencomputer könnte auch Zustände zwischen 0 und 1 interpretieren. Ein semantischer Fehler liegt  z. B. vor, wenn eine Variable lokal definiert ist, und der Entwickler ist der Annahme, sie sei global, und will sie an einer anderen Stelle wiederverwenden. Syntaktisch geht das bei manchen Sprachen, jedoch führt dies nicht zum gewünschten Ergebnis.