Vorlesung 4 Grüning

Aus ProgrammingWiki
< BuK < IIm20
Archivierte Version vom 2021-04-18T11:24:58+00:00. Aktuelle Version

Inhaltsverzeichnis

Seite 10/11

\frac{\sqrt{8 \cdot \frac{(w+1)^2 + w + 1}{2} + 1} - 1}{2}

Pi_function.jpg

\pi(1, 3) = 13 = \frac{2}{(1 + 3) (1 + 3 +1)} + y = 4 \cdot 5 / 2 + 3 = 10+3 = 13

Seite 15

Seite 22

Seite 24

Seite 26

entscheidbar: \chi liefert für alle Wörter ob sie in der Menge M sind oder nicht und ist berechenbar

aufzählbar: total surjektive berechenbare Funktion welche \mathbf{N} \rightarrow M

Wenn M entscheidbar dann M aufzählbar

Wir iterrieren durch A^* g: \mathbf{N} \rightarrow A^*. Wir bekommen somit alle Wörter von A^* und fragen die charakteristische Funktion \chi, ob das Wort w in M ist oder nicht. Falls nicht dann bildet man n auf ein Element aus M (a) ab. Falls es enthalten ist, dann n \rightarrow w

Seite 28

Seite 29

Seite 32

Seite 33