Nuprl Definition : accum-matching-indices
accum-matching-indices(pre;st) ==
let P = λp.prefix-match(p;pre) in
let indices = λpreList.select-indices(P;preList) in
let new_pair = λloc,preList. <loc, indices preList> in
let f = λrslt,loc,preList. [new_pair loc preList / rslt] in
fpf-accum(c,loc,preList.f c loc preList;[];st)
Definitions occuring in Statement :
select-indices: select-indices(f;L),
prefix-match: prefix-match(p1;p2),
fpf-accum: fpf-accum(z,a,v.f[z; a; v];y;x),
cons: [a / b],
nil: [],
let: let,
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
accum-matching-indices
Latex:
accum-matching-indices(pre;st) ==
let P = \mlambda{}p.prefix-match(p;pre) in
let indices = \mlambda{}preList.select-indices(P;preList) in
let new$_{pair}$ = \mlambda{}loc,preList. <loc, indices preList> in
let f = \mlambda{}rslt,loc,preList. [new$_{pair}$ loc preList / rslt] in
fpf-accum(c,loc,preList.f c loc preList;[];st)
Date html generated:
2016_05_17-AM-11_36_23
Last ObjectModification:
2012_08_30-PM-01_51_39
Theory : event-logic-applications
Home
Index