---

pi-bar-trans(l_loc;P;Q;g) ==
  l,serial,avoid.
   RecProcess(0;s,m.if (s = 0)  pDVfire?(m)
                      then <1, make-lg([<l_loc, mk-tagged("msg";pDVloc(l))>])>
   if (s = 1)  pDVloc_tag?(m)
     then let l1 = pDVloc_tag-id(m) in
           let n1 = pDVloc_tag-name(m) in
           <2
           , lg-add(make-lg([<l1, mk-tagged("create";g P l1 n1 avoid)>; 
                             
                             <l1, mk-tagged("msg";pDVfire())>;
                              
                             <l_loc, mk-tagged("msg";pDVloc(l))>]);0;1)
           >
   if (s = 2)  pDVloc_tag?(m)
     then let l2 = pDVloc_tag-id(m) in
           let n2 = pDVloc_tag-name(m) in
           <3
           , lg-add(make-lg([<l2, mk-tagged("create";g Q l2 n2 avoid)>; 
                             
                             <l2, mk-tagged("msg";pDVfire())>]);0;1)
           >
   else <s, make-lg([])>
   fi )

---

Definitions :  lambda: x.A[x],  rec-process: RecProcess(s0;s,m.next[s; m]),  pDVfire?: pDVfire?(x),  pDVloc: pDVloc(id),  ifthenelse: if b then t else f fi ,  band: p  q,  eq_int: (i = j),  pDVloc_tag?: pDVloc_tag?(x),  pDVloc_tag-id: pDVloc_tag-id(x),  let: let,  pDVloc_tag-name: pDVloc_tag-name(x),  lg-add: lg-add(g;a;b),  apply: f a,  cons: [car / cdr],  mk-tagged: mk-tagged(tg;x),  token: "$token",  pDVfire: pDVfire(),  natural_number: $n,  pair: <a, b>,  make-lg: make-lg(L),  nil: []
FDL editor aliases :  pi-bar-trans

---

pi-bar-trans(l$_{loc}$;P;Q;g)  ==
    \mlambda{}l,serial,avoid.
      RecProcess(0;s,m.if  (s  =\msubz{}  0)  \mwedge{}\msubb{}  pDVfire?(m)
                                            then  ə,  make-lg([<l$_{loc}$,  mk-tagged("msg";pDVloc(l))>]\000C
)>
      if  (s  =\msubz{}  1)  \mwedge{}\msubb{}  pDVloc\_tag?(m)
          then  let  l1  =  pDVloc\_tag-id(m)  in
                      let  n1  =  pDVloc\_tag-name(m)  in
                      ɚ
                      ,  lg-add(make-lg([<l1,  mk-tagged("create";g  P  l1  n1  avoid)> 
                                                         
                                                          <l1,  mk-tagged("msg";pDVfire())>
                                                           
                                                          <l$_{loc}$,  mk-tagged("msg";pDVloc(l))>]);0;1)
                      >
      if  (s  =\msubz{}  2)  \mwedge{}\msubb{}  pDVloc\_tag?(m)
          then  let  l2  =  pDVloc\_tag-id(m)  in
                      let  n2  =  pDVloc\_tag-name(m)  in
                      ɛ
                      ,  lg-add(make-lg([<l2,  mk-tagged("create";g  Q  l2  n2  avoid)> 
                                                         
                                                          <l2,  mk-tagged("msg";pDVfire())>]);0;1)
                      >
      else  <s,  make-lg([])>
      fi  )


Date html generated: 2010_08_27-PM-09_42_43
Last ObjectModification: 2010_05_11-PM-01_08_35

Home Index