KA-Hilbertbus

Aus ProgrammingWiki

Archivierte Version vom 2016-04-02T16:02:14+00:00. Aktuelle Version

Hilfsprozeduren zur Streambehandlung

;Streambehandlung
(define stream-car car)

(define stream-cdr
  (lambda (stm)
    (force (cdr stm))))


;; Konstruktoren

(define-syntax stream-cons
  (syntax-rules ()
    ((_ head tail) (cons head (delay tail)))))


;; Operationen mit streams

(define make-stream 
  (lambda (seed proc)
    (letrec 
      ((stream-builder
         (lambda (n)
           (stream-cons n (stream-builder (proc n))))))
      (stream-builder seed))))
  
(define stream-item
  (lambda (str k)
    (if (= k 0)
      (stream-car str)
      (stream-item (stream-cdr str) (- k 1)))))

(define stream-map
  (lambda (f str)
    (stream-cons
     (f (stream-car str))
     (stream-map f (stream-cdr str)))))

(define print-stream
  (lambda (stm n)
    (cond
      ((<= n 0) (printf "...~n"))
      (else
       (printf "~a, " (stream-car stm))
       (print-stream (stream-cdr stm) (- n 1))))))

(define nat_zahlen (make-stream 0 (lambda (n) (+ n 1))))

(define generiere_aufzaehlbare_menge
   (lambda (f)
      (stream-map f nat_zahlen )))

(define zeig-mir print-stream)

Erstellung eines Hilberthotels

(define hilbert
  (lambda (n)
    #f))

(define baue-hilberthotel (generiere_aufzaehlbare_menge hilbert))

(define hilberthotel baue-hilberthotel)

(zeig-mir hilberthotel 11)

Erstellung einer Einzelbuchung

(define einzelbuchung
  (lambda (name stm pos)
    (if (not (equal? (stream-item stm pos) #f))
        (error "Fehler aufgetreten: Zimmer belegt.") 
        (cond
          ([and (= pos 0)(equal? (stream-item stm pos) #f)] (stream-cons name (stream-cdr stm)))
          (else (stream-cons (stream-car stm) (einzelbuchung name (stream-cdr stm) (- pos 1))))))))

(set! hilberthotel (einzelbuchung "Otto Grundmann" hilberthotel 3))

(zeig-mir hilberthotel 12)

(set! hilberthotel (einzelbuchung "Hella Milkel" hilberthotel 2))
;(set! hilberthotel (einzelbuchung "Heribert Wuischke" hilberthotel 3))
(set! hilberthotel (einzelbuchung "Heribert Wuischke" hilberthotel 7))

(zeig-mir hilberthotel 12)

Erstellung eines Kleinbusses

(define baue-kleinbus1
  (lambda (name plaetze)
    (cond
      ([= plaetze 0] (list (cons name plaetze)))
      (else (cons (cons name plaetze) (baue-kleinbus1 name (- plaetze 1)))))))


(define umkehr
  (lambda (ls)
    (cond
      ([equal? (cdr ls) '()] (list (car ls)))
      (else (append (umkehr (cdr ls)) (list (car ls)))))))


(define baue-kleinbus
  (lambda (name plaetze)
    (umkehr (baue-kleinbus1 name plaetze))))

(define kleinbus815 (baue-kleinbus 815 8))

(write kleinbus815)

Erstellung einer Kleingruppenbuchung

(define kleingruppenbuchung
  (lambda (ls stm)
    (cond
      ([equal? ls '()] stm)
      (else (kleingruppenbuchung (cdr ls) (einzelbuchung (car ls) stm (getFirstFreePosition stm 0)))))))

(set! hilberthotel (kleingruppenbuchung kleinbus815 hilberthotel))

(zeig-mir hilberthotel 12)

Erstellung eines Hilbertbusses

(define hilbertb
  (lambda (name str)
    (stream-cons (cons name (stream-car str))
    (hilbertb name (stream-cdr str)))))


(define baue-hilbertbus
  (lambda (name)
    (hilbertb name nat_zahlen)))

(define bus3813 (baue-hilbertbus 3813))

(zeig-mir bus3813 8)

Erstellung des Check-In für einen Hilbertbus

(define hilbertCheckIn
  (lambda (stmBus str)
    (if (not (equal? (stream-car str) #f))
        (stream-cons (stream-car str) (hilbertCheckIn stmBus (stream-cdr str)))
        (stream-cons (stream-car stmBus) (hilbertCheckIn (stream-cdr stmBus) (stream-cdr str)))
        )))

(set! hilberthotel (hilbertCheckIn bus3813 hilberthotel))

(zeig-mir hilberthotel 20)

Umzug der Hotelbewohner auf gerade Zimmernummern

(define gehe-in-gerade
  (lambda (stm n)
    (cond
      ([even? n] (stream-cons (stream-car stm) (gehe-in-gerade (stream-cdr stm) (+ n 1))))
      (else (stream-cons #f (gehe-in-gerade stm (+ n 1)))))))

(set! hilberthotel (gehe-in-gerade hilberthotel 0))

(zeig-mir hilberthotel 30)

Erstellung und Check-In eines weiteren Hilbertbusses

(define bus33 (baue-hilbertbus 33))

(set! hilberthotel (hilbertCheckIn bus33 hilberthotel))

(zeig-mir hilberthotel 30)

Erstellung eines Hilbertkonvoi

(define hilbertK
  (lambda (buchstabenname name str)
    (stream-cons (cons (string-append buchstabenname (number->string name)) (stream-car str))
    (hilbertK buchstabenname name (stream-cdr str)))))


(define baue-hilbertbusKonvoi
  (lambda (buchstabenname name)
    (hilbertK buchstabenname name nat_zahlen)))

(define make-KStream
  (lambda (buchstabe name)
    (letrec
        ((stream-builder
          (lambda (n name)
           (stream-cons n (stream-builder (baue-hilbertbusKonvoi buchstabe name) (+ name 1))))))
              (stream-builder (baue-hilbertbusKonvoi buchstabe name) (+ name 1)))))

(define zeige-mir
  (lambda (stm spalte)
    (zeig-mir (stream-item stm 0) spalte)
    (zeig-mir (stream-item stm 1) spalte)
    (zeig-mir (stream-item stm 2) spalte)
    (zeig-mir (stream-item stm 3) spalte)
    (zeig-mir (stream-item stm 4) spalte)
    (zeig-mir (stream-item stm 5) spalte)))

(define k1 (make-KStream "MH" 0))

(zeige-mir k1 4)

Umwandlung des Konvoi in einen einzigen Stream

(define deleteValue
  (lambda (stm u)
    (cond
      ([= u 0](stream-cons (stream-cdr (stream-item stm u)) (stream-cdr stm)))
      (else (stream-cons (stream-car stm) (deleteValue (stream-cdr stm) (- u 1)))))))

(define konvoi->kette
  (lambda (strBusse o u)
    (cond
      ([= u 0] (stream-cons (stream-car (stream-item strBusse u)) (konvoi->kette (deleteValue strBusse u) (+ o 1)(+ o 1))))
      (else (stream-cons (stream-car (stream-item strBusse u)) (konvoi->kette (deleteValue strBusse u) o (- u 1)))))))

(zeig-mir (konvoi->kette k1 0 0) 20)

Check-In des Konvoi

(set! hilberthotel (gehe-in-gerade hilberthotel 0))

(set! hilberthotel (hilbertCheckIn (konvoi->kette k1 0 0) hilberthotel))

(zeig-mir hilberthotel 42)

Wer wohnt in Zimmer 234?

(stream-item hilberthotel 234)

KA-Hilbertbus

Suche