Jetons de Rózsa
Jetons de base
?
0
:
fonction sans argument qui renvoie 0
I
:
x ↦ x
S
:
x ↦ x+1
◀
f
:
(x, y₁,…,yₖ) ↦
f
(y₁,…,yₖ)
f d'arité k, k ≥ 0
▶
f
:
(y₁,…,yₖ, x) ↦
f
(y₁,…,yₖ)
f d'arité k, k ≥ 0
o
g
f₁
…
fₙ
:
(x₁,…,xₖ) ↦
g
(
f₁
(x₁,…,xₖ),…,
fₙ
(x₁,…,xₖ))
g
d'arité n |
f₁
…
fₙ
d'arité k | k ≥ 0, n ≥ 1
R
f
g
=
h
:
(0, x₁,…,xₖ) ↦
f
(x₁,…,xₖ)
(n+1, x₁,…,xₖ) ↦
g
(n,
h
(n, x₁,…,xₖ), x₁,…,xₖ)
f
d'arité k |
g
d'arité k+2 |
h
d'arité k+1 | k ≥ 0, n ≥ 0
0
fonction nulle
I
fonction identité
S
fonction successeur
◀
ajout de paramètre à gauche
▶
ajout de paramètre à droite
o
composition
R
récurrence
Jetons supplémentaires
(optionnel)
+ Ajouter un jeton
Chaîne de jetons à évaluer
0
→
0
I
→
I
S
→
S
◀
→
<
▶
→
>
o
→
o
R
→
R
❌
Entrée
(tuple d'entiers)
Séparer les entiers par des virgules. Si la fonction n'a pas de paramètre, laisser vide.
Calculer
✓