BuK/IIm10/BuK-Übung05 G2

Wiki-Quelltext dieser Seite.

<language>Scheme</language>
= Prozedur <tt>stoppt-collatz-bis?</tt> =

== Aufgabe ==
Schreiben Sie eine Scheme-Prozedur <tt>stoppt-collatz-bis?</tt>, die eine Zahl n als Eingabe erwartet und feststellt, ob die endlichen Collatzfolgen für <math> i = 2, 3, ..., n</math> existieren.

== Lösung ==

<code id="4db8287d693cb">
(define collatz
  (lambda (n)
    (cond
      ((= n 1) 1)
      ((= (modulo n 2) 0) (collatz (/ n 2)))
      (else (collatz (+ 1 (* 3 n))))
)))

(define stoppt-collatz-bis?
  (lambda (start)
    (if (= 1 (collatz start))
    #t
    #f
)))
</code>

<run id="4db8287d6943c">
(collatz 5)
</run>
<run id="4db8287d694a3">
(stoppt-collatz-bis? 7)
</run>

= Beweis =
== Aufgabe ==
== Lösung ==

= Turingmaschine (TM) und RADOsche Funktion =
== Aufgabe ==
== Lösung ==

= Beweis =
== Aufgabe ==
== Lösung ==