Als «computability» getaggte Fragen

Ich verstehe nicht, warum das Problem des Anhaltens so oft verwendet wird, um festzustellen, ob ein Programm anhält. Die Wikipedia [article] [1] erklärt zu Recht, dass eine deterministische Maschine mit endlichem Speicher einen vorherigen Zustand anhält oder wiederholt. Sie können den Algorithmus...

Wir erhielten die folgende Übung. Lassen f( n ) = { 100n tritt in der dezimalen Darstellung von  π aufsonstf(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases}...

Wir wissen, dass das Stopp-Problem (bei Turing-Maschinen) für Turing-Maschinen nicht zu entscheiden ist. Gibt es Forschungen darüber, wie gut der menschliche Verstand mit diesem Problem umgehen kann, möglicherweise unterstützt durch Turing Machines oder Allzweckcomputer? Hinweis : Natürlich kann...

Gibt es eine Reihe von Programmiersprachenkonstrukten in einer Programmiersprache, damit diese als vollständig betrachtet werden können? Nach allem , was ich aus Wikipedia entnehmen kann , muss die Sprache die Rekursion unterstützen oder anscheinend in der Lage sein, ohne anzuhalten. Ist das alles...

Musteranpassung höherer Ordnung ist ein unentscheidbares Problem. Das heißt es gibt keinen Algorithmus, der eine Gleichung gegeben a => b, wo aund bsind offen Begriffe auf dem einfach Lambda - Kalkül eingegeben hat , findet eine Substitution , Sso daß aS => bS, wo =>steht für „die gleiche...

Ich habe da im ganzen Stack - Überlauf, zB hier , hier , hier , hier , hier und einige andere , die ich interessiere mich nicht zu erwähnen, dass „jedes Programm , das Verwendung Rekursion in ein Programm umgewandelt werden kann unter Verwendung von Iteration nur“. Es gab sogar einen hochrangigen...

Beim Schreiben eines Interpreters, der sich an externe Programme / Funktionen anhängt (anhängen sollte), ist ein merkwürdiges Problem aufgetreten: Funktionen in 'C' und 'C ++' können keine unterschiedlichen Funktionen anhängen , z. B. kann ich keine Funktion erstellen , die 'printf' aufruft. mit...

In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige...

In der Berechenbarkeits- und Komplexitätstheorie (und vielleicht auch in anderen Bereichen) sind Reduktionen allgegenwärtig. Es gibt viele Arten, aber das Prinzip bleibt dasselbe: Zeigen Sie, dass ein Problem mindestens so schwer ist wie ein anderes Problem indem Sie Instanzen von auf Instanzen in...

Ich habe versucht, jemandem zu erklären, dass C Turing-vollständig ist, und habe festgestellt, dass ich eigentlich nicht weiß, ob es tatsächlich technisch Turing-vollständig ist. (C wie in der abstrakten Semantik, nicht wie in einer tatsächlichen Implementierung.) Die "offensichtliche" Antwort...

Gibt es theoretische Maschinen, die in einigen Bereichen die Leistungsfähigkeit von Turing-Maschinen

Zusammenfassung: Nach dem Satz von Rice ist alles unmöglich. Und doch mache ich diese vermeintlich unmöglichen Sachen die ganze Zeit! Natürlich sagt der Satz von Rice nicht einfach "alles ist unmöglich". Es heißt etwas ganz Konkretes: "Jede Eigenschaft eines Computerprogramms ist nicht...

Ich weiß, dass Idris abhängige Typen hat, aber nicht vollständig ist. Was kann es nicht tun, wenn es auf Vollständigkeit verzichtet, und hängt dies damit zusammen, dass es abhängige Typen gibt? Ich denke, das ist eine ziemlich spezifische Frage, aber ich weiß nicht viel über abhängige Typen und...

Zu sehen, dass in der Chomsky-Hierarchie Sprachen des Typs 3 von einer Zustandsmaschine ohne externen Speicher (dh einem endlichen Automaten), Typ 2 von einer Zustandsmaschine mit einem einzelnen Stapel (dh einem Pushdown-Automaten) und Typ 0 von erkannt werden können Wie passen Sprachen des Typs 1...

Dieses 579-Bit-Programm im binären Lambda-Kalkül hat einen unbekannten Haltestatus: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100

Ich plane einen Winterkurs zu verschiedenen Themen, von denen eines Compiler sein wird. Nun, ich bin auf dieses Problem gestoßen, als ich über Aufträge nachgedacht habe, die während des gesamten Quartals zu vergeben waren, aber es hat mich ratlos gemacht, sodass ich es stattdessen als Beispiel...

Ich frage mich, ob es ein gutes Beispiel für ein leicht verständliches NP-Hard- Problem gibt, das nicht NP-Complete und nicht unentscheidbar ist. Zum Beispiel ist das Stopp-Problem NP-Hard, nicht NP-Complete, aber unentscheidbar. Ich glaube, dass dies bedeutet, dass es ein Problem ist, für das eine...

Gibt es Turing-vollständige typisierte Lambda-Kalküle? Wenn ja, welche Beispiele gibt

Ich habe die Diskussion über die Frage, wie Quanten-Turing-Maschinen zu definieren sind , durchlaufen . und ich fühle, dass Quanten-TM und nicht- deterministisches TM ein und dasselbe sind. Die Antworten auf die andere Frage berühren das nicht. Sind diese beiden Modelle ein und dasselbe? Wenn nein...

Der Satz von Rice besagt , dass die einzigen semantischen Eigenschaften von Turing Machines (dh die Eigenschaften der von der Maschine berechneten Funktion), die wir bestimmen können, die beiden trivialen Eigenschaften sind (dh immer wahr und immer falsch). Es gibt aber auch andere Eigenschaften...