BuK/IIm10/BuK-Übung03 G2

Wiki-Quelltext dieser Seite.

=Aufzählbarkeit und Entscheidbarkeit=
== Aufgabe ==
Zeigen Sie, dass <math>\varphi(A^*)</math> für ein beliebiges Alphabet A eine überabzählbar unendliche Menge
ist.

== Lösung ==
TODO

==Aufgabe==
Implementieren Sie eine Scheme-Prozedur chi-endlich, die eine natürliche Zahl n und
eine Liste L nimmt und entweder #t oder #f zurückgibt, je nachdem ob <math>n \in L</math> oder
<math>n \notin L</math> gilt.
Stellen Sie für den Entwurf von chi-endlich die erforderlichen Hilfsprozeduren bereit.

==Lösung==
<code>
(define chi-endlich?
  (λ (n ls)
    (cond
      [(null? ls) #f]
      [(= n (car ls)) #t]
      [else (chi-endlich? n (cdr ls))])))
</code>
<run>(chi-endlich 5 '(3 7 9 1 12 37)</run>
<run>(chi-endlich 5 '(3 7 9 5 12 37)</run>