Informatiker Board | Theoretische Informatik | µ-rekursive Funktionen? Bsp?

Informatiker Board » Themengebiete » Theoretische Informatik » µ-rekursive Funktionen? Bsp? » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag

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] x_{0}:= x_{1} DIV x_{2}: x_{0}:=0; x_{4}:=1; x_{5}:=x_{1} MUL x_{2}; IF x_{5} \neq 0 THEN x_{3}=x_{1}+1; LOOP x_{3} DO x_{3}:=x_{3}-x_{2}; IF x_{3} \neq 0 THEN x_{0} \neq x_{4}; x_{4}:=x_{4}+1; END END END [/latex]$