# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate image original text (scrambled) with physical files.
$key = q/{_inline}$bullet${_inline}/;
$cached_env_img{$key} ='
';
$key = q/{tabular}p3.2in|p3.2inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(if012)Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer1colorEndOfAnswernull(define(my-ifpredconseqalt)(if(zero?pred)altconseq))null(my-if012)Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer2colorEndOfAnswernull(define(factorialn)(my-ifn(*n(factorial(-n1)))1))null(fact5)Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer[infiniteloop!]colorEndOfAnswerlistminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(definex5)(definey6)(let((x7)(yx))(+xy))Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer12colorEndOfAnswernull((lambda(xy)((y6)x))4(lambda(w)(lambda(z)(*2z))))Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer8colorEndOfAnswernull(list1(list2list3)4)Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer(1(2#[procedure]3)4)colorEndOfAnswernull((if+-*)43)Largebf_inline$Rightarrow$_inlinecolorHighlitedAnswer1colorEndOfAnswerlistminipage{tabular}/;
$cached_env_img{$key} ='
';
$key = q/{_inline}$Theta(1)${_inline}/;
$cached_env_img{$key} ='
';
$key = q/{tabular}p3.2in|p3.2inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(defineempty-seqnil)(defineseq-empty?null?)null(define(headseq)colorHighlitedAnswer(caarseq)colorEndOfAnswer)(define(tailseq)colorHighlitedAnswer(cdrseq)colorEndOfAnswer)null(define(seq-lengthseq)(if(seq-empty?seq)0colorHighlitedAnswer(cdarseq)colorEndOfAnswer))null(define(attachxseq)colorHighlitedAnswer(cons(consx(+1(seq-lengthseq)))seq)colorEndOfAnswer)listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(list-;SPM_gt;seqlst)colorHighlitedAnswer(define(helperlstn)(if(null?lst)nil(cons(cons(carlst)n)(helper(cdrlst)(-n1)))))(helperlst(lengthlst))colorEndOfAnswer)null(define(seq-;SPM_gt;listseq)colorHighlitedAnswer(mapcarseq)colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='
';
$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)colorHighlitedAnswer(caarseq)colorEndOfAnswer)(define(tailseq)colorHighlitedAnswer(cons(cdarseq)(cddrseq))colorEndOfAnswer)null(define(seq-lengthseq)(if(seq-empty?seq)0colorHighlitedAnswer(cadrseq)colorEndOfAnswer))null(define(attachxseq)colorHighlitedAnswer(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)colorHighlitedAnswer(define(helpern)(if(=n0)nil(consn(helper(-n1)))))(conslst(helper(lengthlst)))colorEndOfAnswer)null(define(seq-;SPM_gt;listseq)colorHighlitedAnswer(carseq)colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='
';
$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} ='
';
$key = q/{_inline}$Theta(colorHighlitedAnswern^2colorEndOfAnswer)${_inline}/;
$cached_env_img{$key} ='
';
$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} ='
';
$key = q/{_inline}$Theta(colorHighlitedAnswerncolorEndOfAnswer)${_inline}/;
$cached_env_img{$key} ='
';
$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)colorHighlitedAnswer(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)colorHighlitedAnswer(if(=n0)nil(cons(carlst)(copy-some(-n1)(cdrlst))))colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='
';
1;