Ich verstehe den Beweis für die Unentscheidbarkeit des Halteproblems (zum Beispiel in Papadimitrious Lehrbuch), basierend auf der Diagonalisierung. Obwohl der Beweis überzeugt (ich verstehe jeden Schritt davon), ist er für mich nicht intuitiv in dem Sinne, dass ich nicht sehe, wie jemand ihn...
Ich lese gerade ein Buch über Algorithmen und Komplexität. Im Moment lese ich über berechenbare und nicht berechenbare Funktionen und mein Buch besagt, dass es viel mehr Funktionen gibt, die nicht berechenbar sind als berechenbar. Tatsächlich heißt es, dass die Mehrheit nicht berechenbar ist. In...
Ich traf unter Aussage von Alan M. Turing hier : "Die Ansicht, dass Maschinen keine Überraschungen hervorrufen können, ist meines Erachtens auf einen Irrtum zurückzuführen, dem Philosophen und Mathematiker besonders ausgesetzt sind. Dies ist die Annahme, dass alle Konsequenzen dieser Tatsache...
Die Church-Turing-These besagt, dass alles, was physikalisch berechnet werden kann, auf einer Turing-Maschine berechnet werden kann. Die Arbeit "Analoge Berechnung über neuronale Netze" (Siegelmannn und Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) behauptet, dass ein neuronales...
Wir haben etwas über das Konzept der Aufzählung von Funktionen gelernt. In der Praxis entsprechen sie Programmiersprachen. In einer Bemerkung erwähnte der Professor, dass die Klasse aller Gesamtfunktionen (dh die Funktionen, die immer für jede Eingabe enden) nicht aufzählbar ist. Das würde...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Jedes unentscheidbare Problem, das ich kenne, fällt in eine der folgenden Kategorien: Unentscheidbare Probleme durch Diagonalisierung (indirekte Selbstreferenz). Diese Probleme, wie das Problem des Anhaltens, sind nicht zu entscheiden, da Sie einen angeblichen Entscheider für die Sprache verwenden...
Gibt es Programme, die Quellcode zwischen zwei beliebigen Sprachen 'übersetzen' können (vorausgesetzt, der Übersetzer hat Zugriff auf die erforderlichen Bibliotheken)? Wenn ja, wie funktionieren sie (eingesetzte Techniken, erforderliche Kenntnisse usw.)? Wie würden sie realisierbar sein? Wenn...
Der Festkomma-Kombinator FIX (auch als Y-Kombinator bezeichnet) im (untypisierten) Lambda-Kalkül ( λλ\lambda ) ist definiert als: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y))...
Das Problem des Anhaltens besagt, dass es keinen Algorithmus gibt, der feststellt, ob ein bestimmtes Programm anhält. Infolgedessen sollte es Programme geben, über die wir nicht sagen können, ob sie enden oder nicht. Was sind die einfachsten (kleinsten) bekannten Beispiele für solche...
Beachte, während ich programmieren kann, bin ich ein ziemlicher Anfänger in der CS-Theorie. Nach dieser Antwort Vollständigkeit ist ein abstrakter Begriff der Berechenbarkeit. Wenn eine Sprache Turing vollständig ist, ist sie in der Lage, alle Berechnungen durchzuführen, die eine andere Sprache von...
Ich habe Probleme, den Beweis für die Unentscheidbarkeit des Halteproblems zu verstehen. Wenn zurückgibt, ob das Programm a bei Eingabe b anhältoder nicht, warum müssen wir den Code von P sowohl für a als auch für b übergeben ?H( a , b )H(a,b)H(a,b)einaabbbPPPeinaabbb Warum können wir mit P und...
Offensichtlich gibt es in NP keine unentscheidbaren Probleme. Laut Wikipedia jedoch : NP ist die Menge aller Entscheidungsprobleme, für die die Fälle, in denen die Antwort "ja" lautet, Beweise haben, die in Polynomzeit durch eine deterministische Turing-Maschine überprüfbar sind. [...] Ein Problem...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Ich bin auf viele Definitionen von rekursiven und rekursiv aufzählbaren Sprachen gestoßen. Aber ich konnte nicht ganz verstehen,...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich hatte gerade diese interessante Frage. Was ist die am schnellsten wachsende Funktion, die dem Menschen bekannt ist? Ist es...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . "Alan Turing hat 1936 bewiesen, dass ein allgemeiner Algorithmus zur Lösung des Halteproblems für alle möglichen...
In der Berechenbarkeitstheorie werden berechenbare Funktionen auch als rekursive Funktionen bezeichnet. Zumindest auf den ersten Blick haben sie nichts mit dem zu tun, was Sie in der täglichen Programmierung als "rekursiv" bezeichnen (dh Funktionen, die sich selbst aufrufen). Was ist die...
Gibt es eine "natürliche" Sprache, die unentscheidbar ist? mit "natürlich" meine ich eine sprache, die direkt durch die eigenschaften von strings definiert ist und nicht über maschinen und deren äquivalent. Mit anderen Worten, wenn die Sprache wie folgt aussieht: wobei TM, DFA (oder reguläre Exp),...
Eine Turing-Maschine, die mit ihrem Lese- / Schreibkopf auf derselben Zelle des exakt gleichen Bandes in einen zuvor angetroffenen Zustand zurückkehrt, wird in einer Schleife gefangen. Eine solche Maschine hält nicht an. Kann jemand ein Beispiel für eine ununterbrochene Maschine nennen, die keine...
Ich habe etwas über die Kolmogorov-Komplexität studiert, einige Artikel und Bücher von Vitanyi und Li gelesen und das Konzept der normalisierten Kompressionsentfernung verwendet , um die Stilometrie der Autoren zu überprüfen (identifiziere, wie jeder Autor einige Text- und Gruppendokumente anhand...