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.

<language>Scheme</language>
<language>Scheme</language>
<language>Scheme</language>
==Lösung==
<code id="4d9419c7bee51">
(define (chi-endlich? n ls) 
  (cond
    [(null? ls) #f]
    [#t]))</code>

<run id="4d9419c7beeb5">(chi-endlich?)</run>