Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
8.1 Einführung der Rekursion<br />
Skizze für Terminierungsbeweise<br />
• e 0 , e 1 , e 2 , ... sei Argumentfolge der Rekursionsschritte bei<br />
Auswertung von f.<br />
• Finde (ganzzahlige) Terminierungsfunktion t(e i )<br />
und beweise (per Induktion?):<br />
□ t fällt bei jedem Rekursionsschritt streng monoton<br />
□ t ist nach unten beschränkt (z.B. wird nie kleiner als 0).<br />
Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-14