Als «turing-machines» getaggte Fragen

Die Turingmaschine ist ein grundlegendes Rechenmodell, insbesondere in der theoretischen Arbeit.

2
Realisierbarkeitstheorie: Leistungsunterschied zwischen Lambda-Kalkül und Turing-Maschinen
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 wichtiger Schritt seiner Überlegungen ist: Wenn wir jedoch den Lambda-Kalkül …
5
Historische Gründe für die Einführung von Turing Machine als primäres Berechnungsmodell.
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 oder der Lambda-Kalkül (ich verstehe) dass erstere …
10
Echte Computer haben nur eine begrenzte Anzahl von Zuständen. Welche Relevanz haben Turing-Maschinen für echte Computer?
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 stärkeren Modelle in Bezug auf echte Computer zu untersuchen? Warum reicht …
2
Alphabet der Single-Tape-Turing-Maschine
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 : …
7
Anwendbarkeit der Church-Turing-These auf interaktive Rechenmodelle
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, obwohl es tatsächlich nur für die Berechnung …
3
Erklärung der P- und NP-Klassen durch Lambda-Rechnung
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 dies in Form eines Rechenmodells einführen), aber ich habe nie eine Erklärung …
6
Was ist die einfachste unumstrittene Universal-Turing-Maschine mit zwei Zuständen?
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 codiert . Allerdings scheint es (zugegebenermaßen basierend auf Wikipedia) …
1
Funktionen, die nicht effizient berechenbar, aber lernbar sind
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 somit mit polynomieller Abtastkomplexität ("lernbar") unter beliebigen Eingangsverteilungen gelernt werden. …
2
Welche Funktionen kann System F nicht berechnen?
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 gleichzeitig mehr Fehler zu erkennen. Was ist ein Beispiel für eine vollständig berechenbare Funktion, die …
1
Gibt es ein vernünftiges automatisiertes Beweissystem für TCS-Theoreme?
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 Turing-Maschinen. Ich überlegte, selbst einen Code zu schreiben, fand das Tutorial jedoch nicht …
6
Maximale Rechenleistung einer C-Implementierung
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 C-Programmiersprachenspezifikation, in der das implementierungsdefinierte Verhalten dokumentiert ist. Die …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.