BuK/IIm20/Vorlesung 3 Grüning

Aus ProgrammingWiki

Wiki-Quelltext dieser Seite.

<language>SchemeJS</language>
== Einfache Beispiele für $\chi_M$ ==
Seite 9
'''Beispiel 1'''

<code id="6066ffdbf35ec">
def x_m(word):
    return len(word) == 3
</code>
<run id="6066ffdbf36fc">
print(x_m("a"))
</run>


'''Beispiel 2'''

<code id="6066ffdbf3673">
def x_m(word):
    if not word:
        return False
    return word[0] == 'a'

</code>
<run id="6066ffdbf3776">
print(x_m("babababab"))
</run>


'''Seite 10'''
Wie viele berechenbare charakteristische Funktionen gibt es?

Gibt es zu jedem M mindestens ein $\chi_M$?

Die Menge aller Teilmengen in A* ist überabzähbar unendlich (Potenzmenge Beweis siehe Vorlesung 2). Dadurch gibt es unendlich viele Mengen M. Dann gibt es mindestens 


<code id="606709640ae2b">
(define endlos
  (lambda (x)
    (endlos x)
   )
)
</code>
<run id="606709640aeb8">
(endlos 4)
</run>