Nuprl Definition : Threshold-Combinator
Threshold-Combinator(R;X;init_state;accum;f) ==
let state_function = λv,state. if R v state then accum v state else state fi in
let output_function = λi,v,state. if R v state then f i v state else {} fi in
output_function@Loc o (Loc,X, Memory-class(state_function;init_state;X))
Definitions occuring in Statement :
Memory-class: Memory-class(f;init;X),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F o (Loc,X, Y),
ifthenelse: if b then t else f fi ,
let: let,
apply: f a,
lambda: λx.A[x],
empty-bag: {}
FDL editor aliases :
Threshold-Combinator
Latex:
Threshold-Combinator(R;X;init$_{state}$;accum;f) ==
let state$_{function}$ = \mlambda{}v,state. if R v state then accum v state else state \000Cfi in
let output$_{function}$ = \mlambda{}i,v,state. if R v state then f i v state else \{\} f\000Ci in
output$_{function}$@Loc o (Loc,X, Memory-class(state$_{function\mbackslash{}f\000Cf7d$;init$_{state}$;X))
Date html generated:
2015_07_22-PM-00_14_16
Last ObjectModification:
2012_11_29-AM-11_14_52
Home
Index