µ-rekursive Funktionen? Bsp?

Neue Frage »

Auf diesen Beitrag antworten »
KönigsHaki µ-rekursive Funktionen? Bsp?

Meine Frage:
Hallo,
Kann mir jemand die µ-rekursivität erklären? Ich habe mir die Def. nun zigmal durchgelesen, aber ich versteh es einfach nicht.

Könnt ihr mir es anhand des Beispiels mit der 2-stelligen Divisions Funktion erklären? (Division durch 0 ist undefiniert)

Meine Ideen:
Ich weiß nicht, ob es was bringt oder nicht aber hier ist meine DIV Funktion als LOOP-Programm

[latex]<br />
x_{0}:= x_{1} DIV x_{2}: <br />
<br />
x_{0}:=0; <br />
x_{4}:=1; <br />
x_{5}:=x_{1} MUL x_{2};  <br />
<br />
IF x_{5} \neq 0 THEN x_{3}=x_{1}+1; <br />
 LOOP x_{3}  DO x_{3}:=x_{3}-x_{2}; <br />
  IF x_{3} \neq 0 THEN x_{0} \neq x_{4};<br />
       x_{4}:=x_{4}+1;<br />
  END<br />
 END<br />
END<br />
[/latex]
 
 
Neue Frage »
Antworten »


Verwandte Themen

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