Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
8.1 Einführung der Rekursion<br />
Korrekt gemäß Spezifikation?<br />
• Gegeben:<br />
Spezifikation einer Funktion f (im mathematischen Sinne).<br />
Gefragt:<br />
Berechnet eine in einer Programmiersprache<br />
ausgedrückte Funktion f immer f ?<br />
• Naiver Ansatz („ausprobieren“):<br />
Für jede Eingabe kann das Ergebnis durch schrittweises<br />
Ausführen von f ermittelt werden. Dabei werden Methodenaufrufe<br />
im Methodenschachtelmodell ausgewertet.<br />
• Formaler Ansatz („beweisen“):<br />
Durch Verallgemeinerung Aussage für alle Eingaben ableiten!<br />
Korrektheitsbeweis<br />
Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-10