Primitive Rekursion?
Die Vorgängerfunktion primitiv rekursiv angeben: prev(0) = 0 prev(x) = prev(x-1) Jetzt will ich diese für die Subtraktion primitiv rekursiv nutzen: sub(x,0) = x sub(x,y+1) = prev(sub(x,y)) Beispiel: sub(3,2) = prev(sub(3,1)) = prev(prev(sub(3,0)) = prev(prev(3)) = prev(2) = prev(1) = prev(0) ??? Hier muss doch 1 herauskommen. Bei mir endet prev(1) aber nicht?