BuK-Übung02 G2

Aus ProgrammingWiki

Archivierte Version vom 2011-03-23T13:24:22+00:00. Aktuelle Version

Intuitiver Berechnbarkeitsbegriff

(define haelt-fuer-n?
  (λ (f n)
    (if (integer? (f n))
        #t
        #f)))

(define haelt?
  (λ (f)
    (haelt-fuer-n? f 0)))

(define crazy
  (λ (n)
    (if (haelt? crazy n)
        (crazy n)
        n)))

(define haelt-tricky?
  (λ (f timeout)
    (letrec 
        ([ft (thread f)]
         [helper
          (λ (timeLeft)
            (if (thread-running? ft)
                (if (= timeLeft 0)
                    #f
                    (begin (sleep 1) (helper (- timeLeft 1))))
                #t))])
      (helper timeout))))

(define test1
  (λ ()
    (print "hallo")))

(define test2
  (λ ()
    (test2)))

(haelt-tricky? test1 10)

(haelt-tricky? test2 10)

BuK-Übung02 G2

Intuitiver Berechnbarkeitsbegriff

Suche