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.

7
MUSS irgendetwas auf einer Multi-Core-CPU gemacht werden?
Bei der Überlegung, wie multithread-freundlich unser Programm sein muss, fragte sich mein Team, ob auf einer Single-Core-CPU überhaupt etwas nicht möglich ist . Ich ging davon aus, dass die Grafikverarbeitung eine massive Parallelverarbeitung erfordert, sie argumentieren jedoch, dass Dinge wie DOOM auf Single-Core-CPUs ohne GPUs durchgeführt wurden. Gibt es etwas, …
3
Wie wird die Komplexität von Algorithmen für funktionale Sprachen modelliert?
Die Komplexität des Algorithmus ist so ausgelegt, dass sie unabhängig von Details auf niedrigeren Ebenen ist. Sie basiert jedoch auf einem zwingenden Modell, z. B. dem Array-Zugriff und dem Ändern eines Knotens in einem Baum. Dies ist in reinen Funktionssprachen nicht der Fall. Die Haskell-Liste benötigt für den Zugriff eine …
2
Quanten-Lambda-Kalkül
Klassischerweise gibt es drei gängige Methoden, um über Berechnungen nachzudenken: Turing-Maschine, Schaltkreise und Lambda-Kalkül (ich verwende dies als Fang für die meisten funktionalen Ansichten). Alle drei haben sich als fruchtbar erwiesen, um über verschiedene Arten von Problemen nachzudenken, und verschiedene Bereiche verwenden aus diesem Grund unterschiedliche Formulierungen. Wenn ich mit …
7
Unterschiede und Beziehungen zwischen randomisierten und nicht deterministischen Algorithmen?
Welche Unterschiede und Beziehungen bestehen zwischen randomisierten und nicht deterministischen Algorithmen? Aus Wikipedia Ein randomisierter Algorithmus ist ein Algorithmus, der einen Zufallsgrad als Teil seiner Logik verwendet. Der Algorithmus verwendet typischerweise gleichmäßig zufällige Bits als Hilfseingabe, um sein Verhalten zu steuern, in der Hoffnung, im "Durchschnittsfall" eine gute Leistung über …
4
Was bedeutete Turing, als er sagte, dass „Maschinen keine Überraschungen hervorrufen können“, was auf einen Irrtum zurückzuführen ist?
Ich traf unter Aussage von Alan M. Turing hier : "Die Ansicht, dass Maschinen keine Überraschungen hervorrufen können, ist meines Erachtens auf einen Irrtum zurückzuführen, dem Philosophen und Mathematiker besonders ausgesetzt sind. Dies ist die Annahme, dass alle Konsequenzen dieser Tatsache auftauchen, sobald eine Tatsache einem Geist präsentiert wird der …
2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
6
Gibt es eine physikalische Analogie zur Turingmaschine?
Kürzlich wurde ich in meiner CS-Klasse in die Turing-Maschine eingeführt. Nach dem Unterricht habe ich über 2 Stunden lang versucht, die Beziehung zwischen einem Band und einer Maschine herauszufinden. Ich war mir der Existenz von Computerbändern oder der Interaktion von Bändern und Maschinen bis heute überhaupt nicht bewusst. Ich kann …
5
Könnte das Problem des Anhaltens „gelöst“ werden, indem zu einer Beschreibung der Berechnung auf höherer Ebene übergegangen wird?
Ich habe kürzlich eine interessante Analogie gehört, die besagt, dass Turings Beweis für die Unentscheidbarkeit des Stopp-Problems Russells Barbier-Paradoxon sehr ähnlich ist. Also wunderte ich mich: Mathematiker schafften es schließlich, die Mengenlehre konsistent zu machen, indem sie von Cantors naiver Feldformulierung zu einem komplexeren Axiomensystem übergingen (ZFC-Mengenlehre) und dabei wichtige …
3
Wie kann man zeigen, dass zwei Rechenmodelle gleichwertig sind?
Ich suche nach Erklärungen, wie man beweisen kann, dass zwei Rechenmodelle gleichwertig sind. Ich habe Bücher zu diesem Thema gelesen, mit der Ausnahme, dass Äquivalenznachweise weggelassen werden. Ich habe eine grundlegende Vorstellung davon, was es bedeutet, wenn zwei Rechenmodelle gleichwertig sind (die Automatenansicht: wenn sie dieselben Sprachen akzeptieren). Gibt es …
1
Maschinen für kontextfreie Sprachen, die durch Nichtdeterminismus keine zusätzliche Kraft erhalten
Bei der Betrachtung von Rechenmodellen für Maschinen wird die Chomsky-Hierarchie normalerweise durch (in der Reihenfolge) endliche Automaten, Push-down-Automaten, linear gebundene Automaten und Turing-Maschinen charakterisiert. Für die erste und letzte Ebene 1 (reguläre Sprachen und rekursiv aufzählbare Sprachen) spielt es für die Leistungsfähigkeit des Modells keine Rolle, ob deterministische oder nicht …
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.