Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Grade der Unentscheidbarkeit entscheidbar semi-entscheidbar nicht einmal das.

Ähnliche Präsentationen


Präsentation zum Thema: "Grade der Unentscheidbarkeit entscheidbar semi-entscheidbar nicht einmal das."—  Präsentation transkript:

1 Grade der Unentscheidbarkeit entscheidbar semi-entscheidbar nicht einmal das

2 entscheidbare Mengen Eine Menge L heißt entscheidbar, wenn es eine Turingmaschine T gibt, die bei Eingabe von w L ja auf das Band schreibt und dann stoppt, und bei Eingabe von w L nein auf das Band schreibt und dann stoppt. Man nennt dies ein zweiseitiges Entscheidungsverfahren.

3 semi-entscheidbare Mengen Eine Menge L heißt semi-entscheidbar, wenn es eine Turingmaschine T gibt, die bei Eingabe von w L ja auf das Band schreibt und dann stoppt. bei Eingabe von w L unbekannt reagiert (endlos schleift, stoppt, irgendwas schreibt). Man nennt dies ein einseitiges Entscheidungsverfahren.

4 Sätzchen: Jede entscheidbare Menge ist semi-entscheidbar.

5 Goldbach-Zahlen Eine gerade Zahl n N, n 4 heißt Goldbach-Zahl, wenn sie die Summe zweier Primzahlen ist. Beispiele: 8=3+5, 12=5+7.

6 Collatz-Zahlen Collatz-Folge a 0 selbst wählen ( N) a k+1 = a k /2falls a k gerade a k+1 = 3a k +1falls a k ungerade Eine Zahl n N heißt Collatz-Zahl, wenn die Collatz-Folge mit a 0 = n bei 1 endet.

7 Beispiele 15, 46, 23, 70, 35, 106, 53, 160, 80, 40, 20, 10, 5, 16, 8, 4, 2, 1 31, 94, 47, 142, 71, 214, 107, 322, 161, 484, 242, 121, 364, 182, 91, 274, 137, 412, 206, 103, 310, 155, 466, 233, 700, 350, 175, 526, 263, 790, 395, 1186, 593, 1780, 890, 445, 1336, 668, 334, 167, 502, 251, 754, 377, 1132, 566, 283, 850, 425, 1276, 638, 319, 958, 479, 1438, 719, 2158, 1079, 3238, 1619, 4858, 2429, 7288, 3644, 1822, 911, 2734, 1367, 4102, 2051, 6154, 3077, 9232, 4616, 2308, 1154, 577, 1732, 866, 433, 1300, 650, 325, 976, 488, 244, 122, 61, 184, 92, 46, 23, 70, 35, 106, 53, 160, 80, 40, 20, 10, 5, 16, 8, 4, 2, 1

8 vollkommene Zahlen Eine Zahl n N heißt vollkommene Zahl, wenn sie die Summe ihrer echten Teiler ist (ohne n, mit 1). Beispiel: 6=1+2+3.

9 Beispiele 6 = = = =

10 Die ersten 10 vollkommenen Zahlen

11 palindromerzeugende Zahlen Eine Zahl n N heißt palindromerzeugende Zahl, wenn das folgende Verfahren abbricht: 1. a(0) = n, k = a(k+1) = a(k) + sp(a(k)). (Spiegelbild) 3. Wenn a(k+1) ein Palindrom ist, dann stopp, 4. sonst k um 1 erhöhen und weiter bei 2.

12 palindromerzeugende Zahlen sp(z) ist die Zahl z rückwärts gelesen, also ihr Spiegelbild: sp(417) = 714, sp(5296) = Ein Palindrom ist eine Zahl p, die rückwärts wie vorwärts gelesen gleich ist, d.h. es gilt p=sp(p): 727, 3, 4774

13 Beispiele 59: 59+95=154, =605, = : 67+76=143, = : 89+98=187, =968, =1837, =9218, =17347,...

14 Beispiele 89, 187, 968, 1837, 9218, 17347, 91718, , , , , , , , , , , , , , , , , ,

15 Satz: Ist eine Menge L semi-entscheidbar und ihr Komplement { w | w L} ebenfalls semi-entscheidbar, so ist L entscheidbar.

16 Satz: Eine Menge L ist genau dann semi-entscheidbar, wenn L von einer Chomsky-0- Grammatik erzeugt wird.

17 Hausaufgabe Sei L eine semi-entscheidbare Menge, die nicht entscheidbar ist. Ist L' = { aw | w L } { bw | w L } entscheidbar, semi-entscheidbar oder nicht einmal das? Tipp: Nimm an, L' sei semi-entscheidbar. Was folgt daraus für L?


Herunterladen ppt "Grade der Unentscheidbarkeit entscheidbar semi-entscheidbar nicht einmal das."

Ähnliche Präsentationen


Google-Anzeigen