blob: 31631827c2fcfc13fb25a09f02d6eecad7adee56 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Fibonacci number on unary natural numbers
fib(r)><Z => r~(*R)Z;
fib(r)><S(x) => (*L)fibS(r)~x;
fibS(r)><Z => r~(*L)S((*R)Z);
fibS(r)><S(x) => (*R)Dup(x1,x2)~x, (*L)add(r,r2)~r1, fib(r2)~x2, fibS(r1)~x1;
//------ ADD ------
add(r,x)><Z => r~x;
add(r,x)><S(y) => r~(*R)S(w), (*L)add(w,x)~y;
// Execution
// Fib 31
// 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
fib(r)~S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(S(Z)))))))))))))))))))))))))))))));
prnat r;
free r;
|
