KönigsHaki
Grünschnabel
Dabei seit: 15.01.2012
Beiträge: 1
 |
|
| µ-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]](http://www.matheboard.de/latex2png/latex2png.php?<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 />
)
|
|
