| bonedone |
Algebraische Spezifikation programmieren
Meine Frage:
Hallo,
wie kann ich folgenden Grundsatz als Methode deklarieren?
1)add(zero,n) = n
2)add(incr(a),b)=incr(add(a,b))
int m,n,zero=0;
add(int a, int b){
if(a==zero){
n = b;
}
//weiter weiß ich nicht, nur incr(x), !=, = darf verwendet werden
}
Meine Ideen:
Das 1. war ja recht trivial, aber beim 2. tue ich mich schwer.
Der Kern meines Problems ist: Wie kann ich a priori das add(incr(x),y) definieren; sodass ich mittels Rekursion letztlich die Summe erhalte.
Das 2. Axiom mündet ja letztlich im ersten, aber um zu diesem zu gelangen muss ich das Inkrement irgendwie herausziehen. Gibt es eine Möglichkeit das Dekrement aus dem Inkrement herzuleiten? Nur mittels if = /!=?
Ich habe sicher 2 Stunden rumprobiert aber keinen geeigneten Ansatz gefunden. |
