Die Turingmaschine ist ein grundlegendes Rechenmodell, insbesondere in der theoretischen Arbeit.
Gibt es eine Beziehung zwischen der Turing-Maschine und dem Lambda-Kalkül - oder sind sie zufällig etwa zur selben Zeit
Ich habe drei verwandte Unterfragen, die unten durch Aufzählungszeichen hervorgehoben sind (nein, sie konnten nicht geteilt werden, wenn Sie sich fragen). Andrej Bauer schrieb hier , dass einige Funktionen durch eine Turing-Maschine realisierbar sind, aber nicht durch eine Lambda-Rechnung. Ein...
Ich verstehe, dass Turings Modell zum "Standard" bei der Beschreibung von Berechnungen geworden ist. Ich möchte wissen, warum dies der Fall ist - das heißt, warum das TM-Modell weit verbreiteter ist als andere theoretisch äquivalente Modelle (meines Wissens nach), zum Beispiel Kleenes μ-Rekursion...
Echte Computer haben nur begrenzten Speicher und nur eine begrenzte Anzahl von Zuständen. Sie sind also im Wesentlichen endliche Automaten. Warum verwenden theoretische Informatiker die Turing-Maschinen (und andere gleichwertige Modelle) zum Studium von Computern? Was bringt es, diese viel...
Kann jede Funktion , die in der Zeit berechenbar ist auf einer Single-Band Turingmaschine mit einem Alphabet der Größe in berechnenden Zeit auf einer Single-Tape-Turing-Maschine mit einem Alphabet der Größe (z. B. und leer)?t k = O ( 1 ) O ( t ) 3 0 , 1 ,f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^*...
Ich suche eine endgültige Antwort darauf, ob die Erzeugung von "wirklich zufälligen" Zahlen für Turing berechenbar ist oder nicht. Ich weiß nicht, wie ich das genau ausdrücken soll. Diese StackExchange-Frage zum Thema "Effiziente Algorithmen für die Zufallsgenerierung" kommt der Beantwortung meiner...
Paul Wegner und Dina Goldin veröffentlichen seit über einem Jahrzehnt Artikel und Bücher und argumentieren in erster Linie, dass die These von Church-Turing in der CS-Theory-Community und anderswo häufig falsch dargestellt wird. Das heißt, es wird so dargestellt, dass es alle Berechnungen umfasst,...
In der Einführung und Erläuterung werden P- und NP-Komplexitätsklassen häufig durch Turing-Maschinen gegeben. Eines der Rechenmodelle ist die Lambda-Rechnung. Ich verstehe, dass alle Rechenmodelle gleichwertig sind (und wenn wir irgendetwas in Form von Turing-Maschine einführen können, können wir...
Schränkt man Turing Machines auf ein endliches Band ein (dh, um den begrenzten Raum zu nutzen ), so ist das Halteproblem entscheidbar, im wesentlichen, weil nach einer Anzahl von Schritten (die sich aus der Anzahl der Zustände , und der berechnet werden können) alphabet size) muss eine...
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...
Ein Computer mit einem unendlichen Strom von wirklich zufälligen Bits ist leistungsfähiger als ein Computer ohne. Die Frage ist: Ist es mächtig genug, um das Halteproblem zu lösen? Kann ein probabilistischer Computer feststellen, ob ein deterministisches Programm anhält oder nicht ? Beispiel für...
Wie viel Rechenleistung kann eine C-Implementierung haben, wenn wir uns an das Buch halten (oder an eine andere Version der Sprachspezifikation, wenn Sie dies vorziehen)? Beachten Sie, dass „C-Implementierung“ eine technische Bedeutung hat: Es handelt sich um eine bestimmte Instanz der...
In diesem Wikipedia-Artikel zu Turing Completeness heißt es: Der untypisierte Lambda-Kalkül ist vollständig, viele typisierte Lambda-Kalküle, einschließlich System F, jedoch nicht. Der Wert typisierter Systeme beruht auf ihrer Fähigkeit, die meisten typischen Computerprogramme darzustellen und...
Wir wissen, dass (siehe z. B. Theoreme 1 und 3 von [1]) unter geeigneten Bedingungen Funktionen, die von Turing-Maschinen in polynomieller Zeit effizient berechnet werden können ("effizient berechenbar"), durch polynomielle neuronale Netze ausgedrückt werden können mit vernünftigen Größen und kann...
Angenommen, ich wollte Turings Beweis für das Stopp-Problem formalisieren, damit eine Maschine ihn überprüfen kann. Einige der bekannten automatisierten Theoremprüfungssysteme umfassen Mizar, Coq und HOL4. Ich habe Coq heruntergeladen und experimentiert, aber es gibt keine Bibliothek für...
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...
Ich bin mir bewusst, dass dies eine sehr spezielle Frage ist, und ich bezweifle, dass sie von jedem beantwortet wird, der mit den Regeln der Magie noch nicht vertraut ist. Cross-posted zu Draw3Cards . Hier sind die umfassenden Regeln für das Spiel Magic: the Gathering . In dieser Frage finden Sie...
Ich habe Schwierigkeiten, das Konzept berechenbarer Funktionen zu vermitteln. Ich versuchte die Idee zu entwickeln, warum Forscher wie Hilbert / Ackermann / Godel / Turing / Church / ... den Begriff der "Berechenbarkeit" erfanden. Die Schüler fragten sofort: "Was bedeutet Berechenbarkeit?" und ich...
Wenn ich einige aktuelle Threads zum Thema Quantencomputer ( hier , hier und hier ) lese, erinnere ich mich an eine interessante Frage zur Leistungsfähigkeit einer Art -norm preserving machine.ℓpℓp\ell_p Für Leute, die sich mit Komplexitätstheorie und Quantenkomplexität beschäftigen, ist Fortnows...