Warum ist die Reihenfolge der Maßterme wichtig?

Benutzeravatar
Tapion
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 220
Registriert: 14. Okt 2006 19:16
Wohnort: Darmstadt

Warum ist die Reihenfolge der Maßterme wichtig?

Beitrag von Tapion »

Bei der Lösung der vierten Praktikumsaufgabe ist mir folgendes aufgefallen:

Wenn ich die Maßterme A und B in der Reihenfolge [A, B] eingebe, so kann die Terminierung der Funktion bewiesen werden. Wenn ich die Maßterme aber in der Reihenfolge [B,A] eingebe, so kann nur eine der Terminierungshypthesen bewiesen werden, während Verifun für die andere sogar ein Gegenbeispiel findet.

Woran liegt das?
WS 2010/11 - Tutor GDI 1
SS 2010 - Tutor FGI 1+2

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Warum ist die Reihenfolge der Maßterme wichtig?

Beitrag von Nathan Wasser »

Siehe Kapitel 8, Folien 20ff.

Antworten

Zurück zu „Archiv“