Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
While-Sprache<br />
a ::= n | x | a 1 + a 2 | a 1 * a 2 | a 1 –a 2<br />
b ::= true | false | a 1 = a 2 | a 1 · a 1 | ¬ b | b 1 ∧ b 2<br />
S ::= x:=a | skip | S_1 ; S_2 | if b then S 1 else S 2 | while b do S<br />
9<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner