# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate image original text (scrambled) with physical files.

$key = q/{_inline}$bullet${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img5.gif">'; 
$key = q/{tabular}p3.2inp3.2inHowaboutanotherway?Hereasequenceisapairoftwothings.Thettcaristheoriginallist,andthettcdrstoresthelengthsofthelist.Fillintheblanksbelowtocompletetheabstraction.;SPM_amp;vspace-0.4incenterlinepsfigfigure=r09-2.ps,height=1.1in{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img10.gif">'; 
$key = q/{tabular}p3.2inp3.2inHowcanwedothis?Let'sdefineasequenceasshowtotheright.Thelist(135)wouldberepresentedasalistofpairs.Thettcarsaretheelementsofthelist,andthettcdrsarethelengthsofthelists.Fillintheblanksbelowtocompletetheabstraction.;SPM_amp;vspace-0.4incenterlinepsfigfigure=r09-1.ps,height=1in{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img8.gif">'; 
$key = q/{_inline}$Theta(colorHiddenAnswerncolorEndOfAnswer)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img3.gif">'; 
$key = q/{_inline}$Theta(colorHiddenAnswern^2colorEndOfAnswer)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img4.gif">'; 
$key = q/{tabular}p3.2in|p3.2inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(defineempty-seqnil)(defineseq-empty?null?)null(define(headseq)colorHiddenAnswer(caarseq)colorEndOfAnswer)(define(tailseq)colorHiddenAnswer(cdrseq)colorEndOfAnswer)null(define(seq-lengthseq)(if(seq-empty?seq)0colorHiddenAnswer(cdarseq)colorEndOfAnswer))null(define(attachxseq)colorHiddenAnswer(cons(consx(+1(seq-lengthseq)))seq)colorEndOfAnswer)listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(list-;SPM_gt;seqlst)colorHiddenAnswer(define(helperlstn)(if(null?lst)nil(cons(cons(carlst)n)(helper(cdrlst)(-n1)))))(helperlst(lengthlst))colorEndOfAnswer)null(define(seq-;SPM_gt;listseq)colorHiddenAnswer(mapcarseq)colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img9.gif">'; 
$key = q/{tabular}p3.2in|p3.2inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(if012)Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer1colorEndOfAnswernull(define(my-ifpredconseqalt)(if(zero?pred)altconseq))null(my-if012)Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer2colorEndOfAnswernull(define(factorialn)(my-ifn(*n(factorial(-n1)))1))null(fact5)Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer[infiniteloop!]colorEndOfAnswerlistminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(definex5)(definey6)(let((x7)(yx))(+xy))Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer12colorEndOfAnswernull((lambda(xy)((y6)x))4(lambda(w)(lambda(z)(*2z))))Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer8colorEndOfAnswernull(list1(list2list3)4)Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer(1(2#[procedure]3)4)colorEndOfAnswernull((if+-*)43)Largebf_inline$Rightarrow$_inlinecolorHiddenAnswer1colorEndOfAnswerlistminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img1.gif">'; 
$key = q/{_inline}$Theta(1)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img7.gif">'; 
$key = q/{tabular}p3.5in|p3.2inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(defineempty-seq(consnilnil))(define(seq-empty?seq)(null?(carseq)))null(define(headseq)colorHiddenAnswer(caarseq)colorEndOfAnswer)(define(tailseq)colorHiddenAnswer(cons(cdarseq)(cddrseq))colorEndOfAnswer)null(define(seq-lengthseq)(if(seq-empty?seq)0colorHiddenAnswer(cadrseq)colorEndOfAnswer))null(define(attachxseq)colorHiddenAnswer(cons(consx(carseq))(cons(+1(seq-lengthseq))(cdrseq)))colorEndOfAnswer)listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizettnullnull(define(list-;SPM_gt;seqlst)colorHiddenAnswer(define(helpern)(if(=n0)nil(consn(helper(-n1)))))(conslst(helper(lengthlst)))colorEndOfAnswer)null(define(seq-;SPM_gt;listseq)colorHiddenAnswer(carseq)colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img11.gif">'; 
$key = q/{tabular}p3.2in|p3.2inTheprocedurettcount-pairsthatcountsthenumberofttconspairsinatreestructure.footnotesizett(count-pairs(list2(list34)(list5)))Largebf_inline$Rightarrow$_inline6minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizettnull(define(count-pairstree)colorHiddenAnswer(if(pair?tree)(+1(count-pairs(cartree))(count-pairs(cdrtree)))0)colorEndOfAnswer)listminipage;SPM_amp;Theprocedurettcopy-somethatcopiesthefirstttnelementsofalistfootnotesizett(copy-some3(list12345))Largebf_inline$Rightarrow$_inline(123)minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizettnull(define(copy-somenlst)colorHiddenAnswer(if(=n0)nil(cons(carlst)(copy-some(-n1)(cdrlst))))colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img2.gif">'; 

1;

