Semantik

Die formale Semantik wird als zentrales Thema der Informatik betrachtet, das durch unterschiedliche syntaktische Strukturen, jedoch identische Bedeutungen charakterisiert ist. Das Buch erläutert, wie der äußere Aufbau eines Satzes (Syntax) von seiner Bedeutung (Semantik) zu unterscheiden ist und dass die Semantik mehr umfasst als nur die Summe der Wörter. Es wird betont, dass zeitliche, kontextuelle und subjektive Aspekte die Bedeutung beeinflussen. Durch präzise Analysen werden selbst feine semantische Nuancen zwischen scheinbar identischen Sätzen sichtbar.