Nuprl Definition : HofstadterL

HofstadterL(n) ==
  if (n =z 0)
  then [<0, 1>]
  else eval p = n - 1 in
       eval L = HofstadterL(p) in
         let m,f = hd(L) 
         in eval m' = n - snd(L[p - m]) in
            eval f' = n - fst(L[p - f]) in
              [<m', f'> / L]
  fi 


Definitions occuring in Statement :  select: L[n],  hd: hd(l),  cons: [a / b],  nil: [],  callbyvalue: callbyvalue,  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  pi1: fst(t),  pi2: snd(t),  spread: spread def,  pair: <a, b>,  subtract: n - m,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  nil: [],  natural_number: $n,  spread: spread def,  hd: hd(l),  pi2: snd(t),  callbyvalue: callbyvalue,  pi1: fst(t),  select: L[n],  subtract: n - m,  cons: [a / b],  pair: <a, b>
FDL editor aliases :  HofstadterL
Latex:
HofstadterL(n)  ==
    if  (n  =\msubz{}  0)
    then  [ɘ,  1>]
    else  eval  p  =  n  -  1  in
              eval  L  =  HofstadterL(p)  in
                  let  m,f  =  hd(L) 
                  in  eval  m'  =  n  -  snd(L[p  -  m])  in
                        eval  f'  =  n  -  fst(L[p  -  f])  in
                            [<m',  f'>  /  L]
    fi 


Date html generated: 2018_05_21-PM-09_08_24
Last ObjectModification: 2018_01_13-PM-02_11_14

Theory : general


Home Index