4. Prozedurales Programmieren
4. Prozedurales Programmieren
4. Prozedurales Programmieren
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispiel: (Transformationsregel)<br />
Transformationsregel: repetitiv � iterativ<br />
Seien p ein Prozedurname, T1,...,Tn Typbezeichner,<br />
A1,..,An und B seiteneffektfreie-Ausdrücke,<br />
C und D Anweisungen, die keinen Aufruf<br />
von p enthalten:<br />
void p( T1 x1, ... , Tn xn) {<br />
if( B ) {<br />
C<br />
} else {<br />
D<br />
p( A1(x1,...xn),..., An(x1,...,xn) );<br />
}<br />
}<br />
void p( T1 y1, ... , Tn yn) {<br />
T1 x1 = y1;<br />
...<br />
Tn xn = yn;<br />
while( !B ) {<br />
D<br />
x1 = A1(x1,...,xn);<br />
...<br />
xn = An(x1,...,xn);<br />
}<br />
C<br />
}<br />
0<strong>4.</strong>12.08 © A. Poetzsch-Heffter, TU Kaiserslautern<br />
92