---

sys-ex{$a,$b,$c}() ==
  <[<"$a"
    , RecProcess(1;s,m.let s' := s + 1 in
                       <s'
                       , if s <z 10
                         then make-lg([<"$b", "msg", , s>])
                         else lg-nil()
                         fi 
                       >)
    >; 
    
    <"$b"
    , RecProcess(10;s,m.let s' := s + 1 in
                        <s'
                        , if s <z 20
                          then make-lg([<"$c", "msg", , s>])
                          else lg-nil()
                          fi 
                        >)
    >;
     
    <"$c"
    , RecProcess(100;s,m.let s' := s + 1 in
                         <s'
                         , if s <z 120
                           then make-lg([<"$a", "msg", , s>])
                           else lg-nil()
                           fi 
                         >)
    >]
  , make-lg([<<-1, "$a">, "$b", "msg", , 29>])
  >

---

Definitions :  rec-process: RecProcess(s0;s,m.next[s; m]),  callbyvalue: callbyvalue,  add: n + m,  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  lg-nil: lg-nil(),  make-lg: make-lg(L),  cons: [car / cdr],  minus: -n,  mkid: "$x",  token: "$token",  pair: <a, b>,  int: ,  natural_number: $n,  nil: []
FDL editor aliases :  sys-ex

---

sys-ex\{\$a,\$b,\$c\}()  ==
    <[<"\$a"
        ,  RecProcess(1;s,m.let  s'  :=  s  +  1  in
                                              <s',  if  s  <z  10  then  make-lg([<"\$b",  "msg",  \mBbbZ{},  s>])  else  lg-nil()  fi  >)
        > 
       
        <"\$b"
        ,  RecProcess(10;s,m.let  s'  :=  s  +  1  in
                                                <s',  if  s  <z  20  then  make-lg([<"\$c",  "msg",  \mBbbZ{},  s>])  else  lg-nil()  fi  >)
        >
         
        <"\$c"
        ,  RecProcess(100;s,m.let  s'  :=  s  +  1  in
                                                  <s',  if  s  <z  120  then  make-lg([<"\$a",  "msg",  \mBbbZ{},  s>])  else  lg-nil()  fi  >)
        >]
    ,  make-lg([<<-1,  "\$a">,  "\$b",  "msg",  \mBbbZ{},  29>])
    >


Date html generated: 2010_08_27-PM-08_07_22
Last ObjectModification: 2010_06_09-PM-05_10_56

Home Index