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.
Fortsetzung Beweis: Details der<br />
Fallunterscheidung<br />
• Zu zeigen: (F g 1 ) s = s´ impliziert (F g 2 ) s = s´<br />
• Fall 1: s x = 1:<br />
– (F g 1 ) s = s und (F g 2 ) s = s. Zu zeigende Aussage gilt.<br />
• Fall 2: s x ≠ 1:<br />
42<br />
– (F g 1 ) s = g 1 s([…][…])<br />
– 1. Möglichkeit: (F g 1 ) s = g 1 s([…][…]) = undef.<br />
Zu zeigende Aussage trivialerweise erfüllt.<br />
– 2. Möglichkeit: (F g 1 ) s = g 1 s([…][…]) = s´.<br />
Aus g 1 v g 2 folgt g 2 s([…][…])=(F g 2 ) s = s´.<br />
Zu zeigende Aussage gilt.<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner