Nuprl Definition : pv11_p1_AcceptorState
pv11_p1_AcceptorState(Cmd;ldrs_uid;mf) ==
state-class2(λloc.pv11_p1_init_acceptor(Cmd);pv11_p1_on_p1a(Cmd;ldrs_uid);pv11_p1_p1a'base(Cmd;mf);
pv11_p1_on_p2a(Cmd;ldrs_uid);pv11_p1_p2a'base(Cmd;mf))
Definitions occuring in Statement :
pv11_p1_on_p2a: pv11_p1_on_p2a(Cmd;ldrs_uid),
pv11_p1_on_p1a: pv11_p1_on_p1a(Cmd;ldrs_uid),
pv11_p1_init_acceptor: pv11_p1_init_acceptor(Cmd),
pv11_p1_p2a'base: pv11_p1_p2a'base(Cmd;mf),
pv11_p1_p1a'base: pv11_p1_p1a'base(Cmd;mf),
state-class2: state-class2(init;tr1;X1;tr2;X2),
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_AcceptorState
Latex:
pv11\_p1\_AcceptorState(Cmd;ldrs$_{uid}$;mf) ==
state-class2(\mlambda{}loc.pv11\_p1\_init\_acceptor(Cmd);pv11\_p1\_on\_p1a(Cmd;ldrs$_{uid}$);\000Cpv11\_p1\_p1a'base(Cmd;mf);
pv11\_p1\_on\_p2a(Cmd;ldrs$_{uid}$);pv11\_p1\_p2a'base(Cmd;mf))
Date html generated:
2015_07_23-PM-04_12_52
Last ObjectModification:
2014_11_26-AM-11_25_41
Home
Index