Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Den Operator ' nennt man Turing Jump. Ist A eine Menge, so ist A' die Menge der Kodierungen aller Orakel-Turingmaschinen, die mit Orakel A bei ihrer eigenen Kodierung als Eingabe anhalten.Quoted
Original von HELP
Hallo ich habe zwei Fragen zu dem Bereich "Arithmetische Hierarchie" von der Vorlesung BuL:
1.) Was kann ich mir genau unter der Folge {Leere Menge}', {Leere Menge}'', {Leere Menge}''', ..., {Leere Menge}(i) vorstellen??
Die Verbindungen bedeuten "ist Teilmenge von". Die Kreuzungspunkte der Diagonalen haben also keine besondere Bedeutung.Quoted
2.) Was haben in der Abbildung zur arithmetischen Hierarchie die diagonalen Verbindungen zwischen den Klassen zu bedeuten?? Ist da noch etwas besonderes in den Schnittpunkten der Diagonalen??
This post has been edited 2 times, last edit by "Joachim" (Jul 24th 2006, 2:16pm)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Das ist ein Tippfehler, gemeint ist "echte Teilmenge". Das geht aber aus dem obigen Satz (auf den sich das Korollar bezieht) klar hervor. Also schau Dir den lieber nochmal genau an.Quoted
Original von HELP
Ich habe noch mit der Kleinigkeit ein Problem, dass im Skript im vorletzten Korollar des 8. Kapitels unter (iv) steht, dass Pi(i-1) keine Teilmenge von Sigma(i) ist.
This post has been edited 1 times, last edit by "Joachim" (Jul 24th 2006, 4:45pm)