You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 lines
822 B
Plaintext
42 lines
822 B
Plaintext
const n:int = 43
|
|
|
|
node f(a:int^n; i:int) returns (o:int^n; m:int)
|
|
let
|
|
m = a.[i] default 0;
|
|
o = i^n;
|
|
tel
|
|
|
|
node sumdup (a, acc_in:int) returns (o:int; acc_out:int)
|
|
let
|
|
acc_out = acc_in + a;
|
|
o = acc_out;
|
|
tel
|
|
|
|
node p(a:int^n) returns (o:int^n)
|
|
var acc:int;
|
|
let
|
|
(o, acc) = mapfold<<n>> sumdup (a, 0);
|
|
tel
|
|
|
|
node main() returns (o:int^n)
|
|
var last t:int^n = 1^n;
|
|
let
|
|
automaton
|
|
state Prepare
|
|
var i,x1,x2:int;
|
|
do
|
|
i = 0 fby i + 1;
|
|
x1 = (last t).[i-2] default 0;
|
|
x2 = (last t).[i-1] default 1;
|
|
t = [ (last t) with [i] = x1 + x2 ];
|
|
o = p(t);
|
|
until i = 43 then Compute
|
|
state Compute
|
|
var i,j:int;
|
|
do
|
|
i = 0 fby if i > 43 then 0 else i + 1;
|
|
j = 0 fby if j > 1031 then 0 else j + 1;
|
|
o = p([ t with [i] = j ]);
|
|
end
|
|
tel
|