Ich möchte eine einfache Turing-Maschine nach den Regeln eines Kartenspiels kodieren. Ich würde es gerne zu einer universellen Turingmaschine machen, um die Turing-Vollständigkeit zu beweisen. Bisher habe ich einen Spielstatus erstellt, der Alex Smiths Turing-Maschine mit 2 Status und 3 Symbolen...
Wenn wir uns den DTIME-Hierarchiesatz ansehen, haben wir ein Protokoll, das auf den Mehraufwand bei der Simulation einer deterministischen Turing-Maschine durch eine Universalmaschine zurückzuführen ist: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Wir...
Wir wollen eine Präfix-freie Kodierung von Turing-Maschinen und eine universelle Turing-Maschine U festlegen UU, die bei Eingabe ( T , x )(T,x)(T,x) (kodiert als Präfix-freier Code von T,TT gefolgt von xxx ) alle T-TT Ausgaben bei Eingabe x ausgibt xx(möglicherweise) beide laufen für immer)....
Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als...
Dies ist eine Neuformulierung von Sind Grammatikprogramme? vorher von Vag gefragt und mit vielen Vorschlägen der Kommentatoren. Inwiefern kann eine Grammatik als Spezifizierung eines Rechenmodells angesehen werden? Nehmen wir zum Beispiel eine einfache kontextfreie Grammatik wie G ::= '1' -> '0'...
Ich suche den kleinstmöglichen universellen Kombinator , gemessen an der Anzahl der Abstraktionen und Anwendungen, die erforderlich sind, um einen solchen Kombinator in der Lambda-Rechnung zu spezifizieren . Beispiele für universelle Kombinatoren sind: Größe 23: λf.f (fS (KKKI)) K Größe 18: λf.f...
Gibt es praktische Anwendungen für Nicht-von-Neumann-Programmiermodelle? Was sind die am weitesten verbreiteten
Greg Egan behauptet in seiner Fiktion "Dark Integers" (Geschichte über zwei Universen mit zwei unterschiedlichen Mathematiken, die durch Beweise von Theoremen über Inkonsistenzen in der Arithmetik kommunizieren), dass es möglich ist, Allzweckcomputer ausschließlich auf vorhandenen Internetroutern...
Es gibt einen alten Trick, um einen Algorithmus aufzuschreiben, der, wenn P = NP, SAT in Polynomialzeit löst. Im Wesentlichen listet man alle Polynom-Zeitmaschinen und Multi-Tasks darüber auf. Gibt es einen analogen Trick für Einwegfunktionen (oder auch Einweg-Falltürfunktionen)? Das heißt, können...
Es gibt verschiedene (wahrscheinlich nicht äquivalente) Begriffe der rechnerischen Universalität (siehe zum Beispiel die letzten Seiten von http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), und es besteht kein Konsens zwischen diesen Experten, welche Begriffe am zutreffendsten...
In Bernsteins und Vaziranis wegweisender Arbeit "Quantum Complexity Theory" zeigen sie, dass addd dimensionale einheitliche Transformation durch ein Produkt aus "nahezu trivialen Rotationen" und "nahezu trivialen Phasenverschiebungen" effizient angenähert werden kann. "Fast triviale Rotationen"...
Robin Gandy war ein Schüler von Alan Turing . Gandy führte eine Analyse von Babbages Analytical Engine durch (siehe 'Gandy - Der Zusammenfluss von Ideen im Jahr 1936', zitiert in 'Herken, Rolf - Die universelle Turingmaschine - Eine Umfrage des halben Jahrhunderts . Springer Verlag') - und sagte,...
Lassen Sie uns eine Codierung von Turing-Maschinen und einer universellen Turing-Maschine U festlegen, die bei Eingabe (T, x) alle T-Ausgaben bei Eingabe x ausgibt (möglicherweise laufen beide für immer). Definieren Sie die Kolmogorov-Komplexität von x, K (x) als die Länge des kürzesten Programms...
Ich suche nach Quellen zum formalisierten Begriff von Programmen. Dies scheint eng mit der Curry-Howard-Korrespondenz verbunden zu sein, aber man könnte dies auch auf Universal Turing Machines und seine Fähigkeit zurückführen, die Beschreibung und Eingabe eines TM zu lesen. Wenn ich über...