Primitive Recursive Simulator
GitHub
Bitte unten Funktion anklicken
Funktion erstellen
Löschen
Berechnen
Funktionen:
Dein Code (bitte speichern):
Code laden
Funktion hinzufügen
×
Name
Parameter
Wie ist deine Funktion definiert?
Nur zusammengesetzt aus anderen Funktionen
Rekursiv definiert
Rekursionsanfang
×
Wähle den Parameter aus, über welchen die Rekursion definiert sein soll:
Bitte definiere den Rekursionsstart
Definition
×
Bitte definiere die Funktion
Typ wählen
×
Was soll hier eingefügt werden?
Eine Konstante
Ein Parameter
Die Successorfunktion (addiert 1)
Eine Funktion
Rekursive Definition dieser Funktion
Funktion wählen
×
Was soll hier eingefügt werden?