Als «computation-models» getaggte Fragen

Die Definition des Satzes zulässiger Operationen, die für die Berechnung verwendet werden, und ihrer jeweiligen Kosten. Einige Beispiele für Modelle umfassen Turing-Maschinen, rekursive Funktionen, Lambda-Kalkül und Produktionssysteme.

1
Unterscheidet sich der Nichtdeterminismus in einer nicht deterministischen Turingmaschine von dem von endlichen Automaten und Push-Down-Automaten?
Es sei eine Eingabezeichenfolge als . Befindet sich eine NFA derzeit im Zustand (und hat die Eingabe bis zum Alphabet ), teilt sich die NFA vor dem Lesen des nächsten Eingabesymbols in zwei NFA auf, von denen sich eine im Zustand und die andere in , wenn ein Übergang von …
2
Analoge Computer und die Church-Turing-These
Ich möchte aus Nielsen & Chuang, Quantenberechnung und Quanteninformation, Ausgabe zum 10-jährigen Jubiläum, Seite 5 (Schwerpunkt Mine) zitieren: Eine Klasse von Herausforderungen für die starke Church-Turing-These kommt aus dem Bereich der analogen Berechnung. In den Jahren seit Turing haben viele verschiedene Forscherteams festgestellt, dass bestimmte Arten von analogen Computern Probleme …
6
Nehmen Turingmaschinen irgendwann etwas Unendliches an?
In einer vorherigen Frage Was genau ist ein Algorithmus? Ich fragte, ob ein "Algorithmus", der den Wert einer Funktion basierend auf einem Array vorberechneter Werte zurückgibt, ein Algorithmus sei. Eine der Antworten, die meine Aufmerksamkeit auf sich zogen, war diese: Das faktorielle Beispiel befasst sich mit einem anderen Berechnungsmodell, das …
1
Ich habe einen mechanischen Computer gebaut, der mit Murmeln betrieben wird. Was sind ihre theoretischen Grenzen?
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über Zahnräder miteinander verbinden. Wenn eines dieser …
5
Warum sind Fortschrittsbalken so ungenau? [geschlossen]
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Informatik Stapel Börse. Geschlossen vor 3 Jahren . Computer und Programmiersprachen sind in der Regel deterministisch und vorhersehbar. Fortschrittsbalken scheinen jedoch das …
1
Kombinierte Logikschaltungen und Berechnungstheorie
Ich versuche, kombinatorische Logikschaltungen (Computer, die nur auf logischen Gattern basieren) mit allem zu verknüpfen, was ich kürzlich in Theory of Computation gelernt habe. Ich habe mich gefragt, ob kombinatorische Logikschaltungen Berechnungen auf die gleiche Weise wie Finite-State-Maschinen implementieren können. Sie scheinen radikal anders zu sein: Finite-State-Maschinen haben jedoch einen …
1
Turing maschinenähnlicher Formalismus für das Schauspielermodell
Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen Aspekten). Ist das Actor Model eine vollwertige Drehmaschinenalternative als Rechenmodell? Verfügt das Akteurmodell auch über eine …
3
Unterschiede zwischen Programmiermodell und Programmierparadigma?
Welche Beziehung und welchen Unterschied besteht zwischen einem Programmiermodell und einem Programmierparadigma? (insbesondere wenn es um das Programmiermodell und das Programmierparadigma für eine Programmiersprache geht.) Wikipedia versucht meine Frage in 1 zu beantworten: Programmierparadigmen können auch mit Programmiermodellen verglichen werden , die Abstraktionen von Computersystemen sind. Beispielsweise ist das "von …
2
Wie berechnen nichtdeterministische Turingmaschinen allgemeine Funktionsprobleme?
(Ich hoffe, das wurde vorher nicht gefragt, aber ich habe nichts gefunden.) Nach meinem Verständnis gilt der Nichtdeterminismus nur für Entscheidungsprobleme, da die Existenz eines akzeptierenden Pfades erforderlich ist . In Wikipedia wird die Klasse -easy als in deterministischer Poltime lösbar definiert, mit Zugriff auf ein Orakel für ein Entscheidungsproblem …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
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.