Algebraische Spezifikation programmieren

Neue Frage »

Auf diesen Beitrag antworten »
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.
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »