diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-16 20:20:09 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-16 20:20:09 +0900 |
| commit | 8cbadb4fe54a9fc0e631ff688e423839f74e27df (patch) | |
| tree | f702efc82bac987577fd4cd4ba7da5c6e734d987 /sample/unary_numbers/GCM2023/FibSZ_31.in | |
| parent | cc7d7841935652c0906c2d863e9b71119167ece6 (diff) | |
| download | inpla-8cbadb4fe54a9fc0e631ff688e423839f74e27df.tar.gz inpla-8cbadb4fe54a9fc0e631ff688e423839f74e27df.zip | |
v0.12.2
Diffstat (limited to '')
| -rw-r--r-- | sample/unary_numbers/GCM2023/FibSZ_31.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/sample/unary_numbers/GCM2023/FibSZ_31.in b/sample/unary_numbers/GCM2023/FibSZ_31.in new file mode 100644 index 0000000..6bb2297 --- /dev/null +++ b/sample/unary_numbers/GCM2023/FibSZ_31.in @@ -0,0 +1,19 @@ +// Fibonacci number on unary natural numbers +fib(r)><Z => r~Z; +fib(r)><S(x) => fibS(r)~x; +fibS(r)><Z => r~S(Z); +fibS(r)><S(x) => Dup(x1,x2)~x, add(r,r2)~r1, fib(r2)~x2, fibS(r1)~x1; + + +//------ ADD ------ +add(r,x)><Z => r~x; +add(r,x)><S(y) => r~S(w), 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; + |