Algebraische Semantik
aus Wikipedia, der freien Enzyklopädie
Die algebraische Semantik der Informatik beschreibt die Bedeutung von Software durch mathematische Formeln, in denen Elemente der Relationenalgebra und der formalen Semantik benutzt werden. Ihr Ziel ist es, das Verhalten von Systemen analysieren und vergleichen zu können.
Betrachtete Systeme sind alle im Sinne der Systemtheorie bekannten zusammenhängenden Gebilde, welche z. B. auf Computerhardware, Mechanik oder der Soziologie beruhen.
Sie beschreibt grundsätzlich nichtdeterministische Zusammenhänge und baut auf dem Hoareschen CSP-Kalkül auf. Es wird von jeglicher Form der Implementierung, also von Automatenmodellen, derart abstrahiert, dass nur die algebraischen Gesetze ohne Einschränkung durch Wertebereiche und Speichergrößen gelten.
