Informatiker Board | Theoretische Informatik

Informatiker Board » Themengebiete » Theoretische Informatik » primitive Rekursion

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

primitive Rekursion

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Paul_H Paul_H ist männlich

Grünschnabel

Dabei seit: 13.09.2006
Beiträge: 4
Herkunft: Köln

primitive Rekursion

Zitatantwort auf diesen Beitrag erstellen

Tach,
ich soll zeigen, dass die Funktion max(x, y) primitiv rekursiv ist.
Mein Problem dabei ist, eine Fallunterscheidung zu vermeiden.
Irgendwo gibts hier einen Trick, den ich aber partout nicht sehen kann.

Ideen?
Gruß, Paul.

01.11.2006 15:00

Nehmen Sie Paul_H in Ihre Freundesliste auf

Tobias
Routinier

Dabei seit: 18.09.2006
Beiträge: 324

Benutze eine Differenz auf $[latex]\mathbb{N}[/latex]$ mit der Eigenschaft $[latex]0 - x = 0 \; \forall x \in \mathbb{N}[/latex]$ . Die ist primitiv rekursiv (klar).

Dann kannst du max definieren durch:

[latex]max(x, y) = x + (y-x)[/latex]

01.11.2006 15:51

Nehmen Sie Tobias in Ihre Freundesliste auf

Paul_H Paul_H ist männlich

Grünschnabel

Dabei seit: 13.09.2006
Beiträge: 4
Herkunft: Köln

ja genau.
Das ist es, vielen Dank.

Aber anzumerken, dass es sich hier um die modifizierte (nichtnegative) Differenz handeln muss.

Gruß, Paul.

01.11.2006 20:51

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » primitive Rekursion