Computerwissenschaften turing-completeness

2

Wie viele Paar Brackets reichen aus, um Brainfuck Turing zu vervollständigen?

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 Sätze von [], aber ich habe mich gefragt, wie …

12 turing-completeness

3

Kann jeder selbstmodifizierende Algorithmus durch einen nicht selbstmodifizierenden Algorithmus modelliert werden?

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 hier ist: Ok, der Beweis, …

12 computability computation-models turing-completeness church-turing-thesis

1

Gibt es eine Sprache, die ihren eigenen Turing-Compiler vollständig ausdrücken kann?

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 ⟩ …

12 computability turing-completeness

1

Gibt es ein duales Konzept für „Turing Complete“ in der Logik?

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) von beiden Theoreme des anderen sind. In Bezug auf …

10 computability logic turing-completeness

1

Wie kann eine universelle Turingmaschine „größere“ simulieren?

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 simulieren, wenn die simulierte Maschine eine größere Anzahl von Buchstaben enthält? Kann mir …

10 computability turing-machines simulation turing-completeness

2

Klar, vollständig, Beweis dafür, dass eine Sprache Turing Compete ist?

Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug! Wo finde ich …

10 computability turing-machines automata turing-completeness church-turing-thesis

2

Sind Boolesche Funktionen Turing abgeschlossen?

Eine Boolesche Funktion ist eine Funktion .f: { 0 , 1 }n→ { 0 , 1 }f::{0,1}}n→{0,1}}f:\{0,1\}^n\rightarrow\{0,1\} Die boolesche Basis ist bekanntermaßen Turing-vollständig, da jede Sequenz umgedreht oder unverändert gelassen werden kann. Gleiches gilt für Gates.s ∈ { 0 , 1 } X O R.( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ …

9 turing-machines turing-completeness boolean-algebra

1

Wie ist PowerPoint Turing abgeschlossen?

Nach meinem Verständnis bedeutet Turing vollständig, dass das Programm oder die Maschine jede Berechnung ausführen kann, die eine Turing-Maschine ausführen kann, was für mich jede Berechnung bedeutet. Wie kann so etwas wie HTML oder PowerPoint vollständig sein?

8 computability turing-completeness

2

Ist eine Stack-Maschine mit einem Forward-Read-Iterator Turing vollständig?

Es ist bekannt, dass eine Maschine mit einem einzelnen Stapel als nur unbegrenztem Speicher nicht vollständig ist, wenn sie nur von der Oberseite des Stapels lesen kann. Ich möchte eine Maschine, die (etwas) leistungsfähiger als eine Stapelmaschine ist, aber immer noch nicht vollständig ist. (Ich frage mich, ob es eine …

7 computation-models turing-completeness linked-lists stacks

1

Wie nah sind gängige Programmiersprachen daran, Turing nicht vollständig zu sein?

Der Begriff "Vollständigkeit" wurde in mehreren von mir belegten Informatikkursen erörtert. Ich habe jedoch nie ein intuitives Gefühl dafür bekommen, was die Vollständigkeit von Turing tatsächlich erfordert. Ich habe diese Frage gefunden, aber die Antworten sind etwas mathematischer als das, wonach ich suche. Nehmen Sie eine gängige Programmiersprache wie C …

7 programming-languages turing-completeness

Als «turing-completeness» getaggte Fragen