Informationsmanagement - Fachbereich Informatik ...

Ein einfaches Semantikbeispiel (1)
• Semantik ( S sei Semantikfunktion S (Exp)→ Z ):
für alle e, e1,e2,e3 ∈ Exp Exp gilt: gilt:
– S (e) = `e`, `e` ∈ ganze Zahlen Z
– S (e1 e2) = e1 * e2 (Multiplikation)
– S (e1 e2) = e1 + e2 (Addition)
– S (e1 e2) = e1 - e2 (Subtraktion)
– S (e1 e2 e3) = S(e1 S(e2 e3))
– S (e1 e2 e3) = S(e1 S(e2 e3))
– S (e1 e2 e3) = S(S(e1 e2) e3)
– S (e1 e2 e3) = S(S(e1 e2) e3)
– S (e1 e2 e3) = S(e1 S(e2 e3)) = S(S(e1 e2) e3)
– S (e1 e2 e3) = S(S(e1 e2) e3) = S(e1 S(e2 e3))
– S( [e1 op e2]) = S(e1 op e2)
Informationsmanagement, WS 2007/08
1-59