urand-process(n;a) == rec-dataflow(0;c,x.<c + 1, urand(n;a) c>)
Definitions occuring in Statement :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
urand: urand(n;a),
apply: f a,
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
pair: <a, b>,
add: n + m,
natural_number: $n,
apply: f a,
urand: urand(n;a)
FDL editor aliases :
urand-process
urand-process(n;a) == rec-dataflow(0;c,x.<c + 1, urand(n;a) c>)
Date html generated:
2011_08_16-AM-09_52_59
Last ObjectModification:
2011_06_07-PM-06_23_57
Home
Index