Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispiele kompositionaler Definitionen<br />
• Funktion A: Aexp × states → Z<br />
– weist arithemtischen Ausdrücken Zahlen in Z zu<br />
A«n]s = N«n¬<br />
A«x]s = Lookup(s,x)<br />
A«a 1 +a 2 ¬s = A«a 1 ¬s + A«a 2 ¬s<br />
A«a 1 -a 2 ¬s = A«a 1 ¬s - A«a 2 ¬s<br />
A«a 1 * a 2 ¬s = A«a 1 ¬s * A«a 2 ¬s<br />
• Funktion B: Bexp × states → {tt, ff} analog<br />
8<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner