Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- µ-rekursive Funktionen? Bsp? (http://www.informatikerboard.de/board/thread.php?threadid=1132)

Geschrieben von KönigsHaki am 15.01.2012 um 23:18:

  µ-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]


Forensoftware: Burning Board, entwickelt von WoltLab GmbH