Name: _________________________________________________________

Directions

Work alone. You may not discuss these problems or anything else related to this course with anyone except for the course staff between receiving this exam and class Monday.

Open book. You may use any books you want, lecture notes and slides, your notes, and problem sets. If you use anything other than the course books and notes, cite what you used.

No DrScheme. You may not run DrScheme or use any other Scheme interpreter between now and when you turn in this exam.

Answer well. Answer all 10 questions. Write your answers on this exam. You should not need more space than is provided to write good answers, but if you want more space you may attach extra sheets. If you do, make sure the answers are clearly marked.

The questions are not necessarily in order of increasing difficulty, so if you get stuck on one question you should continue on to the next question. There is no time limit on this exam, but it should not take more than a few hours to complete.

Full credit depends on the clarity and elegance of your answer, not just correctness. Your answers should be as short and simple as possible, but not simpler.

Evaluation

• What the Scheme interpreter will produce when the expression is evaluated
• How should the expression be fixed to produce what Ben wants

For example,

0. Add 3 and 4: (3 + 4)

• The Scheme interpreter will produce an error. The expression is an application, so according to Evaluation Rule 3a we should evaluate each subexpression. Each subexpression is a primitive, so they all self-evaluate. Then, according to Evaluation Rule 3b, we should apply the value of the first subexpression (3) to the values of all the other subexpressions. We have application rules for primitive procedures and compound procedures, but 3 is not a procedure, so no application rule applies and an error is reported.
• (+ 3 4)

• Explain what the Scheme interpreter will produce when the expression is evaluated?

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

• How should the expression be fixed to produce what Ben wants?

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

     (map (/ x 7) lst)

• Explain what the Scheme interpreter will produce when the expression is evaluated?

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

• How should the expression be fixed to produce what Ben wants?

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

(define (is-even? n)
   (if (= n 0) 
       #t
       (is-even? (- n 2))))

• Explain what the procedure Ben defined does?

  
  

  
  

  
  

  
  

  
  

  
  

  
  

  
  

• How should the expression be fixed to produce what Ben wants?

Languages

4. Show that both Language A and Language B can generate the string "Jack and Jill" starting from NounPhrase. Your answer should show which replacement rule you used for each step.

5. Identify one string that Language B can generate starting from Sentence that cannot be generated by Language A starting from Sentence.

Language B

B1. Sentence ::= Sentence and Sentence
B2. Sentence ::= Verb NounPhrase Verb
B3. NounPhrase ::= Noun NounExtra
B4. NounExtra ::= and NounPhrase
B5. NounExtra ::=
6. Noun ::= Jack
7. Noun ::= Jill
8. Noun ::= Socks
9. Noun ::= Spot
10. Verb ::= see
11. Verb ::= jump
12. Verb ::= run

Procedures

   (define (dowhile proc continuetest incr current)
       (if (continuetest current)
           (cons (proc current) 
                 (dowhile proc continuetest incr (incr current)))
	   null))

   (define (intsto n)
       (dowhile


	




	
	)
       )

8. Define a procedure averageval that take a procedure and a list as inputs, and evaluates to the average value of applying the procedure to every element in the list. For example,

    (averageval (lambda (x) x) (list 2 4 6))

   (averageval (lambda (x) (* x x)) (list 1 2 3 4 5))

10. Define a procedure lastsatisfyingelement that takes a list and a procedure as input, and evaluates to the last element in the list for which applying the procedure to that element evaluates to true. For example,

(lastsatisfyingelement (list 1 2 -3 4 -5 7 -9)
                       (lambda (x) (> x 0)))

These two questions are optional and worth no credit, but we appreciate your answers. Please answer them on the back of this page.

11. Do you feel your performance on this exam will fairly reflect your understanding of the course material so far? If not, explain why.

12. Do you have any comments about how the course is going so far or suggests for improving the remainder of the course?