Ich habe in letzter Zeit über Lambda-Kalkül gelesen, aber seltsamerweise kann ich keine Erklärung dafür finden, warum es "Lambda" heißt oder woher der Ausdruck kommt. Kann jemand die Ursprünge des Begriffs
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.
Ich habe in letzter Zeit über Lambda-Kalkül gelesen, aber seltsamerweise kann ich keine Erklärung dafür finden, warum es "Lambda" heißt oder woher der Ausdruck kommt. Kann jemand die Ursprünge des Begriffs
Ich bin ein CS-Student. Ich verstehe, wie Turing zu seiner abstrakten Maschine kam (die eine Person modelliert, die eine Berechnung durchführt), aber es scheint mir eine umständliche, unelegante Abstraktion zu sein. Warum betrachten wir ein "Band" und einen Maschinenkopf, die Symbole schreiben, den...
Ich bin damit einverstanden, dass eine Turingmaschine "alle möglichen mathematischen Probleme" lösen kann. Das liegt aber daran, dass es sich nur um eine maschinelle Darstellung eines Algorithmus handelt: zuerst dies tun, dann das tun, schließlich das ausgeben. Ich meine, alles, was lösbar ist,...
Was ist bei der Quantenberechnung das äquivalente Modell einer Turing-Maschine? Mir ist ziemlich klar, wie Quantenschaltungen aus Quantentoren aufgebaut werden können, aber wie können wir eine Quantenturingmaschine (QTM) definieren, die tatsächlich von Quanteneffekten profitieren kann, nämlich auf...
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...
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...
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,...
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...
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...
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 . Eine...
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...
Per Empfehlung reposte ich dies von Stack Overflow . Kürzlich habe ich über folgendes Thema nachgedacht. Betrachten Sie den Code für eine Standard "Hallo Welt!" Programm: main() { printf("Hello World"); } Nahezu jede Änderung an diesem Code macht ihn nun völlig unbrauchbar. Tatsächlich verhindert...
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...
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...
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...
Ich weiß, dass Quantencomputer eine Überlagerung aller möglichen Zustände mit einem einzigen Durchlauf durch die Logik verarbeiten können. Das scheint das zu sein, was die Leute als das bezeichnen, was Quantencomputer besonders oder nützlich macht. Nachdem Sie die Überlagerungseingaben verarbeitet...
Ich beginne ein Buch über Computational Complexity und Turing Machines zu lesen. Hier ist Zitat: Ein Algorithmus (dh eine Maschine) kann als Bitfolge dargestellt werden, sobald wir uns für eine kanonische Codierung entschieden haben. Diese Behauptung ist eine einfache Tatsache, aber ich kann es...
Welche Operationen müssen ausgeführt werden, um eine beliebige analoge Berechnung durchzuführen ? Wäre Addition, Subtraktion, Multiplikation und Division ausreichend? Weiß auch jemand genau, welche Probleme mit analogen Berechnungen, nicht aber mit digitalen, zu lösen
Ich habe gehört, das Motto Interaktion ist mächtiger als Algorithmen von Peter Wegner . Die Grundlage der Idee ist, dass eine (klassische) Turing-Maschine keine Interaktion, dh keine Kommunikation (Eingabe / Ausgabe) mit der Außenwelt / Umgebung, bewältigen kann. Wie kann das so sein? Wie kann...
Bei der Entwicklung von Algorithmen für das Quantencomputing ist mir aufgefallen, dass es zwei Hauptmodelle gibt, in denen dies durchgeführt wird. Einige Algorithmen - wie zum Beispiel für das Hamilton-NAND-Baum-Problem (Farhi, Goldstone, Guttman) - entwerfen einen Hamilton-Zustand und einen...