Download presentation
Presentation is loading. Please wait.
Published byRonald Copeland Modified over 9 years ago
1
CS1 Final Exam Review By Rebecca Schulman December 4, 2002
2
Quick Overview Topics from the first part of term will not be explicitly covered on the exam, but if you do not understand this material, you will have trouble with the exam Substitution model Standard vs. Special Forms Higher order procedures Asymptotic Complexity
3
Make sure you understand the topics from the second half of the course. These include: Data structures: lists, trees, and data processing Message Passing Operations with Mutation Environment Diagrams Tagged Data
4
Exam Structure You will have to answer one question on each major concept. There will be two “tracks” on the exam, so if you do both, your score will be the minimum of your best score for each concept
5
The Substitution Model Three steps: Evaluate the operands Evaluate the operator Apply the operator to the operands
6
Substitution and Mutation We did not get rid of the substitution model when we introduced mutation. But we did make an important change: We do not substitute the value for parameters into an expression when we apply. Instead, when they are needed, we look up the value of a parameter in the environment
7
More Substitution and Mutation Remember also that begin statements must be evaluated in left to right order These type of expressions include the body of begin clauses, but also the consequent portion of cond statements and the body of let expressions
8
Special Forms Some scheme expressions do not obey the substitution model. They require operands to be evaluated in a certain order, or require some operands to not be evaluated at all before application
9
A List of Special Forms define: Evaluate only the second operand, and associate its value with the first operand, which should be a variable if : Evaluate the predicate and only evaluate the clause pertaining to whether the predicate is true or false cond: Evaluate only the predicates, until a true one is found, and then return the value of the consequent expression that matches
10
More Special Forms let: Evaluate the values in the binding section and associate them with their corresponding variables inside the let environment quote: The result of the expression is a symbol with the name given as the sole argument set!: Only evaluate the second expression, and change the value associated with the variable to be this result
11
Asymptotic Complexity We use O notation to talk about approximately how long it will take a procedure to complete No formal methods are required for CS1: just an informal counting should be enough Example run times we saw were O(n), O(n 2 ), O(n log n) and O(2 n )
12
Symbols We can represent a name using symbols in Scheme. A symbol is created using the quote special form bob => error: Unbound variable bob (quote bob) => bob We abbreviate quote with the ‘ character ‘bob => bob
13
cons pairs cons pastes together two elements. By using it recursively, we can create lists, trees and any other data structure we might like For example, a list of 1,2, and 3 would be: (cons 1 (cons 2 (cons 3 nil)))
14
Box and Pointer Diagrams We illustrate cons pairs using a pair of boxes. Each box points to its contents cons cells can point to numbers, symbols, or other cons pairs, among other things
15
List processing In class we talked about algorithms for Adding items from a list Removing items from a list Searching for items in a list Doing the above with and without mutation
16
Data Representation Once we have the ability to represent collections of things, we’re left with the obvious question of how to organize it. We spent the next several weeks in CS1 thinking about several ways to do this.
17
Abstraction Barriers The simplest technique we discussed is separating the representation of the data from its meaning This requires creating an explicit representation, and creating procedures that can interact with the data by creating it and accessing it by meaning, rather than by structure
18
Tagged Data We used tagged data in order to label numbers so that they had meaning. For example: (make-dollars 40) => (dollars. 40) (make-pounds 100) => (pounds. 100)
19
Generic Operations We then extended this idea to being able to do operations on data in different units (add-money (make-pounds 100) (make-dollars 40)) => (dollars. 196.7) (as of today)
20
Message Passing Message Passing allowed us to encapsulate data and operations into the same object
21
Mutation Mutation is the ability to change the value of a variable, once it has been defined. This is something that we don’t do in math, and it caused us to make our old substitution model more complicated
22
The Environment Model We extended the substitution model by no longer using substitution to associate variables with their value, but by creating a set of environments We still evaluate and apply procedures in the environment model but we introduced two new concepts
23
Environment Model (2) Procedures are explicitly created in the environment model, and are evaluated in a particular environment that captures their local state Instead of substituting variables at the time of application, we look each one up the environment as needed
24
Environment Model Rules Binding variables: Bind simple variables in the current environment Procedures are created when they are defined. They form a pair, one of which points to its body, the other points to the enviroment where the procedure is created
25
Environment Model Rules (2) Applying a procedure creates a new environment in which the parameters of the procedure are bound to the operand set! changes the value of the variable that is referred to in the current environment
26
Procedures as Local State The first way we used mutation was to create procedures that hold state. We did this by creating procedures that had their own environment. For example: (define (make-accum initial) (let ((value initial)) (lambda (change) (set! value (+ value change)) value)))
27
Mutation of Data The other way we learned how to do mutation was to change data structures We did this with set-car! and set-cdr! set-car! points the first part of a cons pair to the same thing pointed to by its second argument, and set-cdr! does the same to the cdr part of the cons pair
28
eq? and equal?: When is the whole not the sum of its parts? eq? tests whether the two whole objects are the same equal? tests whether the parts of two data structures are all the same Two objects that can be equal but not eq would be: (define a ‘(1 2 3)) (define b ‘(1 2 3))
29
Extended Example: Gambling We’ll go on an extended exercise to pit your scheme skills against the casinos and try not to lose all of your money…
30
A Blackjack Game You decide to test your strategy ideas in simulation first to see how much money you will win or lose. Dividing this into a few tasks we will: Build a message-passing deck of cards Build a few blackjack players And a table, that will simulate the playing of many games
31
The Deck of Cards We begin with the ranks and suits (define suits '(clubs diamonds hearts spades)) (define ranks '(A 2 3 4 5 6 7 8 9 10 J Q K)) The deck of cards are simply all combinations of these
32
List processing: all-combinations (define (all-combinations proc first second) (define (helper a b current) (cond ((null? a) current) ((null? (cdr b)) (helper (cdr a) second (cons (proc (car a) (car b)) current))) (else (helper a (cdr b) (cons (proc (car a) (car b)) current))))) (helper first second (list)))
33
A deck of cards A deck of cards is simply the this applied to a single make-card procedure (define deck-of-cards (all-combinations make-card suits ranks)) (define (decks-of-cards n) (if (= n 0) (list) (append deck-of-cards (decks-of-cards (- n 1)))))
34
Shuffling Shuffling cards can be reduced to transposing each element so that it ends up in a random position. We’ll do this functionally, to show some more list processing techniques
35
(define (transpose-two-elements lst x y) (let ((xth (nth-element lst x)) (yth (nth-element lst y))) (define (transpose-helper current n result) (cond ((null? current) result) ((= n x) (transpose-helper (cdr current) (+ n 1) (append result (list yth)))) ((= n y) (transpose-helper (cdr current) (+ n 1) (append result (list xth)))) (else (transpose-helper (cdr current) (+ n 1) (append result (list (car current))))))) (transpose-helper lst 1 (list))))
36
Shuffling (2) Shuffling is simple now that we have the transposition procedure: (define (shuffle list-of-cards) (define (shuffle-helper position current-cards) (if (= position 0) current-cards (let ((other-element (random-1-to-n position))) (shuffle-helper (- position 1) (transpose-two-elements current-cards position other-element))))) (shuffle-helper (length list-of-cards) list-of-cards))
37
The Deck (Message Passing) (define (make-decks deck-count) (let ((deck (shuffle (decks-of-cards deck-count)))) (define (draw-cards n result) (if (= n 0) result (begin (let ((next (cons (car deck) result))) (set! deck (cdr deck)) (draw-cards (- n 1) next))))) (define (enough-cards deck arg) (>= (length deck) arg)) (lambda (message arg) (cond ((eq? message 'draw) (if (not (enough-cards deck arg)) (set! deck (shuffle (decks-of-cards deck-count)))) (draw-cards arg (list)))))))
38
The Blackjack Dealer (define (blackjack-dealer deck) (define (hit current-hand) (if (>= (score current-hand) 17) current-hand) (hit (append (deck 'draw 1) current-hand)))) (hit (list)))
39
The Blackjack Player (define (good-player deck dealers-card) (define (hit current-hand) (cond ((> (score current-hand) 17) current-hand) ((< (score current-hand) 12) (hit (append (deck 'draw 1) current-hand))) ((memq (score current-hand) '(13 14 15 16)) (if (< (card-value dealers-card) 7) current-hand (hit (append (deck 'draw 1) current-hand)))) (else (if (memq (card-value dealers-card) '(4 5 6)) current-hand (hit (append (deck 'draw 1) current-hand)))))) (hit (list)))
40
Playing a Game (1) (define (make-blackjack-table player deck-count house-cut) (let ((deck (make-decks deck-count)) (bet 10) (takings 0)) (define (bust? hand) (> (score hand) 21)) (define (blackjack? hand) (and (has-ace? hand) (has-face-card? hand))) (define (play-round) (let ((dealers-hand (blackjack-dealer deck))) (let ((players-hand (player deck (showing-card dealers-hand)))) (cond ((bust? players-hand) -1) ((bust? dealers-hand) (- 1 house-cut)) ((blackjack? players-hand) 1.5) ((> (score players-hand) (score dealers-hand)) (- 1 house-cut)) (else -1)))))
41
Playing a Game (2) (lambda (message) (cond ((eq? message 'play) (let ((result (play-round))) (set! takings (+ takings (* result bet))))) ((eq? message 'takings) takings)))))
42
The Game’s Environment: The beginning
43
The Game in Play
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.