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...
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...
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...
Ich sehe, dass die meisten Definitionen dessen, was es heißt, vollständig zu sein, bis zu einem gewissen Grad tautologisch sind. Zum Beispiel, wenn Sie Google "Was bedeutet es, Turing vollständig zu sein", erhalten Sie: Ein Computer ist vollständig, wenn er ein Problem lösen kann, das eine...
Ich las über Iota und Jot und fand diesen Abschnitt verwirrend: Im Gegensatz zu Iota, wo der syntaktische Baum für einen String entweder links oder rechts verzweigt sein kann, ist die Jot-Syntax einheitlich links verzweigt. Infolgedessen ist Iota streng kontextfrei, aber Jot ist eine reguläre...
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...
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem...
Ich weiß, dass in imperativen Programmiersprachen eine while-do-Schleife als Kontrollflusskonstrukt ausreicht, um die Sprache Turing-complete zu machen (was den Kontrollfluss betrifft - natürlich brauchen wir auch unbegrenzten Speicher und bestimmte Operatoren ...) . Der Kern meiner Frage lautet:...
In Bezug auf das Quantentoffoli- Tor : ist es klassisch universell und wenn ja, warum? ist es quantenuniversal und warum?
Diese Frage wurde von Computational Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich habe die Wikipedia-Seite für Regel 110 in Zellularautomaten gelesen und weiß mehr oder weniger, wie sie funktionieren (eine Reihe...
Welche Operationen müssen ausgeführt werden, um eine beliebige analoge Berechnung durchzuführen ? Wäre Addition, Subtraktion, Multiplikation und Division ausreichend? Weiß auch jemand genau, welche Probleme mit analogen Berechnungen, nicht aber mit digitalen, zu lösen
Ich weiß, dass es bewiesen werden kann, dass PROLOG Turing-vollständig ist, indem ein Programm erstellt wird, das eine Turing-Maschine wie diese simuliert: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0,...
Sprachen wie sind mit vielen Reduzierungen. Es ist trivial zu sehen, dass auch vollständige Probleme hat. S. Schmitz [1] betrachtet einige Klassen zwischen und . Sie stellen für diese Klassen vollständige Probleme unter speziell gestalteten
Ich weiß, dass NAND-Gatter verwendet werden können, um Schaltkreise zu erstellen, die jede Wahrheitstabelle implementieren, und moderne Computer bestehen aus NAND-Gattern. Was ist der theoretische Zusammenhang zwischen NAND-Gattern und Turing-Vollständigkeit? Es scheint mir, dass...
Ich habe eine ähnliche Frage zu cstheory.SE gestellt . Laut dieser Antwort auf Stackoverflow gibt es einen Algorithmus, der auf einer nicht faulen reinen funktionalen Programmiersprache eine -Komplexität aufweist, während derselbe Algorithmus in der imperativen Programmierung . Das Hinzufügen von...
Ein Kommentar zu tex.SE ließ mich staunen . Die Aussage ist im Wesentlichen: Wenn ich einen Compiler für Sprache X in Sprache X schreiben kann, ist X Turing-vollständig. In Bezug auf die Berechenbarkeit und die formalen Sprachen ist dies: Wenn entscheidet L ⊆ L T M und ⟨ M ⟩ ∈ L , dann F L = R E...
Brainfuck ist eine vollständige Programmiersprache von Turing, die nur 8 Symbole verwendet (6, wenn Sie E / A ignorieren). Die zwei bemerkenswertesten, die es zur Vollständigkeit bringen, sind [und ]im Wesentlichen Brainfucks Label und goto. Normalerweise verwenden Programme in Brainfuck mehrere...
Wenn wir ein beliebiges Computerprogramm haben, das seine Anweisungen ändern kann, ist es möglich, dieses Programm mit einem Programm zu simulieren, das seine Anweisungen nicht ändern kann? Bearbeiten: Ich bin neu in StackExchange, also nicht sicher, ob ich hier eine NEUE Frage stellen darf, aber...
Es kann gezeigt werden, dass zwei Rechenmodelle vollständig sind, wenn jedes einen universellen Simulator für das andere codieren kann. Es kann gezeigt werden, dass zwei Logiken vollständig sind, wenn gezeigt wird, dass eine Codierung der Inferenzregeln (und möglicherweise Axiome, falls vorhanden)...
Ich versuche, die Antworten auf zwei Fragen zur Universal Turing-Maschine zu finden. Wie kann die Universal Turing-Maschine eine Turing-Maschine simulieren, wenn die simulierte Maschine eine größere Anzahl von Zuständen aufweist? Wie kann die Universal Turing-Maschine eine Turing-Maschine...