Fetus, wenn Sie nicht davon gehört haben, können bis zu lesen hier . Es verwendet ein System von 'Aufrufmatrizen' und 'Aufrufdiagrammen', um alle 'Rekursionsverhalten' von rekursiven Aufrufen in einer Funktion zu finden. Um zu zeigen, dass eine Funktion beendet wird, zeigt sie, dass alle...
Ich suche nach einem Beweis dafür, dass die Komplexität von Kolmogorov nicht berechenbar ist, indem ich ein anderes nicht berechenbares Problem reduziere. Der übliche Beweis ist eher eine Formalisierung von Berrys Paradoxon als eine Reduktion, aber es sollte einen Beweis geben, indem man von etwas...
Die primitiven rekursiven Funktionen werden über die natürlichen Zahlen definiert. Es scheint jedoch, als ob das Konzept auf andere Datentypen verallgemeinert werden sollte, sodass man über primitive rekursive Funktionen sprechen kann, die Listen beispielsweise Binärbäumen zuordnen. Analog dazu...
In der Arbeit Relativierungen des P =? NP Question , Baker et al. zeigten, dass es relativierte Welten gibt, in denen entweder P = NP oder P ≠ NP gilt. Alle Orakel in ihren Einstellungen waren rekursive Mengen. In einer anderen Arbeit in Bezug auf ein zufälliges Orakel , P A ≠ N P A ≠ co- N P A mit...
Ein Quine ist ein Computerprogramm, das als einzige Ausgabe eine Kopie seines eigenen Quellcodes erstellt. Gibt es ein Quine-Programm, das sich n-mal ausdrucken könnte, wobei n auf irgendeine Weise im Programm angegeben
Könnten Sie einen Umfrageartikel oder ein Lehrbuchkapitel empfehlen, in dem die Theorie der rekursiven Funktionen vorgestellt wird? Vielen
Ich versuche, einige Begriffe einer Differenzrechnung zwischen einer von einem Entwickler konzipierten fiktiven Ideal Turing-Maschine (z. B. was auch immer von einem Softwareentwickler beabsichtigt ist), und den Maschinen zu entwickeln, die die Software darstellen, die tatsächlich entworfen wird,...
Viele Ergebnisse in der Kryptographie hängen von Unmöglichkeitsergebnissen / Vermutungen in der Komplexitätstheorie ab. Beispielsweise wird angenommen, dass die Kryptographie mit öffentlichem Schlüssel unter Verwendung von RSA aufgrund der Vermutung über die Unmöglichkeit des Factorings (und der...
Die Sprache der whileProgramme kann die rechnerisch aufzählbaren Funktionen ausdrücken. (Dies gilt auch dann, wenn die einzigen arithmetischen Operationen für Variablen beispielsweise Inkrementierung und Dekrementierung sind.) Wenn whiledurch ersetzt wird forund Schleifen immer begrenzt werden,...
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist? Wenn nein, haben Sie einige Vorschläge zu vernünftigen (Verallgemeinerungs-) Regeln, mit denen versucht werden kann, zu beweisen, dass Turing vollständig ist? Das Offensichtliche ist, dass das Spiel...
Ich habe mich eine Weile über die Herkunft der Namen "immun" und "einfach" gewundert. Die gleiche Frage stellte ich auch Andrea Sorbi, die wiederum einige weitere Kollegen in die Diskussion einbezog. Über "einfach" haben wir einige Vermutungen. Martin Davis schlägt vor, dass der Name von einer...
Wenn wir in der Berechenbarkeit beweisen wollen, dass ein Problem nicht rekursiv oder nicht rekursiv aufzählbar ist, können wir z. B. Reduktionen aus anderen nicht rekursiven oder nicht re-Problemen, dem Riceschen Theorem, dem Rice-Shapiro-Theorem usw. verwenden. Diese Techniken funktionieren dank...