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 mache einen Vortrag über Turingmaschinen und wollte einige Hintergrundinformationen zu FSMs geben, bevor ich Turingmaschinen vorstelle. Das Problem ist, ich weiß wirklich nicht, was sich SEHR voneinander unterscheidet. Ich weiß, dass es anders ist: FSM hat sequentielle Zustände, abhängig von...
Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die...
Aus Wikipedia über randomisierte Algorithmen Man muss unterscheiden zwischen Algorithmen , die die Zufallseingabe verwenden, um die erwartete Laufzeit oder den Speicherbedarf zu verringern, aber immer mit einem korrekten Ergebnis in einem begrenzten Zeitraum enden, und probabilistischen Algorithmen...
Wenn die algorithmische Komplexität eines Algorithmus angegeben wird, wird angenommen, dass die zugrunde liegenden Berechnungen auf einem abstrakten Computer (z. B. RAM) ausgeführt werden, der sich einer modernen CPU nähert. Mit solchen Modellen können wir die zeitliche und räumliche Komplexität...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Die Frage ist Übung 1.9 aus Arora-Baraks Buch Computational Complexity - A Modern Approach : Definieren Sie eine RAM-Turing-Maschine als Turing-Maschine mit Direktzugriffsspeicher. Wir formalisieren dies wie folgt: Die Maschine hat ein unendliches Array A, das für alle Leerzeichen initialisiert...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Es heißt: "Die Turing-Maschine ist nicht als praktische Computertechnologie gedacht, sondern als hypothetisches Gerät, das eine Computermaschine darstellt. Turing-Maschinen helfen Informatikern, die Grenzen der mechanischen Berechnung zu verstehen." [Wikipedia] Auf welchem Modell werden aktuelle...
Welches theoretische Parallelmodell kommt dem CUDA / OpenCL-Programmiermodell am nächsten? Zum Beispiel passt es zu einem gewissen Grad zum generischen PRAM-Modell (Parallel Random Access Machine). Dies ist jedoch zu allgemein, da dadurch verschiedene Speicherzugriffslatenzen und...
Wenn wir eine Turingmaschine so einschränken, dass sie das gelesene Symbol nicht schreiben darf, würde dies ihre Leistung verringern? Zum Beispiel: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA kann nicht dasselbe Symbol sein wie ZZZ....
Obwohl ich bereits etwas über die asymptotischen Laufzeiten von Matrixmultiplikationsalgorithmen (Strassens Algorithmus und ähnliche Dinge) gelernt habe, habe ich nie einen expliziten und zufriedenstellenden Hinweis auf ein Berechnungsmodell gefunden, mit dem diese Komplexität gemessen wird....
Ich studierte den Beweis, dass die Ackermann-Funktion rekursiv, aber nicht primitiv rekursiv ist, und eine Frage traf mich: "Na und?". Warum spielt es eine Rolle? Welche Bedeutung haben primitive rekursive
Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen. Mir ist aufgefallen, dass vielleicht jedes...