Überschreibungssystem ist ein Satz von Regeln in Form von . Wenn wir diese Regel auf einen String w anwenden, ersetzen wir jeden Teilstring A in w durch einen Teilstring B.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB und umgekehrt. Wenn eine Startzeichenfolge können wir B A A B
Getränkespender muss den Benutzer eine Münze (zum Einfügen ) und drückt eine der drei Tasten: ˉ d Tee fordert eine Tasse Tee e Tee , dito für Kaffee und ˉ r fordert eine Rückerstattung (dh die Maschine zurück gibt die Münze: ˉ b ). Dieser Spender kann durch den folgenden CCS- Prozess modelliert...
Ein Turing-Maschinenalgorithmus mit Polynomzeit wird als effizient angesehen, wenn seine Laufzeit im schlimmsten Fall durch eine Polynomfunktion in der Eingabegröße begrenzt ist. Mir ist die starke These von Church-Turing bekannt: Jedes vernünftige Rechenmodell kann auf Turing-Maschinen effizient...
Dies mag an die rechnergestützte Kognitionswissenschaft grenzen, aber ich bin gespannt, wie der Prozess, dem gängige Pfadfindungsalgorithmen (wie A * ) folgen, mit dem Prozess verglichen wird, den Menschen in verschiedenen Pfadfindungssituationen verwenden (mit denselben Informationen). Sind diese...
Ich habe die folgende Sprache {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Ich versuche herauszufinden, in welchen Chomsky-Sprachkurs es passt. Ich kann sehen, wie es mit einer kontextsensitiven Grammatik gemacht werden kann, also weiß ich, dass es zumindest...
Ich lerne gerade den Lambda-Kalkül und habe mich über die folgenden zwei verschiedenen Arten des Schreibens eines Lambda-Begriffs gewundert. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Gibt es einen Unterschied in der Bedeutung oder der Art und Weise, wie Sie die Beta-Reduktion...
Wenn ich das richtig verstehe, hat NFA die gleiche Ausdruckskraft wie reguläre Ausdrücke. Oft ist es einfach, äquivalente reguläre Ausdrücke aus NFA abzulesen: Sie übersetzen Zyklen in Sterne, Kreuzungen als Alternativen und so weiter. Aber was ist in diesem Fall zu tun: [ Quelle ] Die...
Der Simplex-Algorithmus läuft gierig an den Ecken eines Polytops entlang, um die optimale Lösung für das lineare Programmierproblem zu finden. Infolgedessen ist die Antwort immer eine Ecke des Polytops. Innenpunktmethoden laufen durch das Innere des Polytops. Wenn eine ganze Ebene des Polytops...
Dies ist der Vorläufer meiner anderen, weiter fortgeschrittenen Frage zur Stapelinspektion. Die Stapelinspektion ist ein in der JVM eingeführter Sicherheitsmechanismus für die Ausführung von Code, der von Standorten mit unterschiedlichen Vertrauensstufen stammt. Diese Frage zielt darauf ab, eine...
Ich habe eine Hausaufgabe, gegen die ich mich schon seit einiger Zeit mit dem Kopf geschlagen habe, und ich würde mich über Hinweise freuen. Es geht darum, ein bekanntes Problem auszuwählen, dessen NP-Vollständigkeit nachgewiesen ist, und eine Reduktion von diesem Problem auf das folgende Problem...
Ein Fibonnaci-Heap unterstützt die folgenden Vorgänge: insert(key, data) : Fügt der Datenstruktur ein neues Element hinzu find-min() : Gibt einen Zeiger auf das Element mit dem minimalen Schlüssel zurück delete-min() : Entfernt das Element mit dem minimalen Schlüssel delete(node) : löscht das...
Dies ist eine Hausaufgabenfrage aus Udi Manbers Buch. Jeder Hinweis wäre schön :) Ich muss das zeigen: n(log3(n))5=O(n1.2)n(log3(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Ich habe versucht, Satz 3.1 des Buches zu verwenden: (für c > 0 , a > 1 )f(n)c=O(af(n))f(n)c=O(af(n))f(n)^c =...
Die Hauptidee von k-Nearest-Neighbor berücksichtigt die nächstgelegenen Punkte und entscheidet über die Klassifizierung der Daten mit Stimmenmehrheit. Wenn ja, sollte es keine Probleme mit höherdimensionalen Daten geben, da Methoden wie lokalitätssensitives Hashing die nächsten Nachbarn effizient...
Ich arbeite an einer ausdrucksbasierten Sprache der ML-Genealogie, daher ist natürlich eine Typinferenz erforderlich> :) Jetzt versuche ich, eine auf Einschränkungen basierende Lösung für das Problem der Ableitung von Typen zu erweitern, die auf einer einfachen Implementierung in EOPL (Friedman...
Angenommen, ich bekomme eine endliche Menge von Punkten p1,p2,..pnp1,p2,..pnp_1,p_2,..p_n in der Ebene und gebeten, eine doppelt differenzierbare Kurve C(P)C(P)C(P) durch die zu zeichnen pipip_i, so dass ihr Umfang so klein wie möglich ist. Angenommen, und , kann ich dieses Problem wie folgt...
Meine Frage geht an diejenigen, die sich mit rechnergestützter Biologie befassen. Ich werde diesen Herbst einen Kurs über Bioinformatik belegen. Das Problem ist jedoch, dass ich zu wenig Hintergrundwissen in Biologie und Chemie habe, um mich auf diesen Zyklus von Lektionen vorbereitet zu fühlen...
In der Diskussion um diese Frage erwähnt Gilles richtig, dass jeder Korrektheitsnachweis eines Algorithmus, der Arrays verwendet, beweisen muss, dass es keine Array-Zugriffe außerhalb der Grenzen gibt. Abhängig vom Laufzeitmodell würde dies einen Laufzeitfehler oder den Zugriff auf...
Der übliche einfache Algorithmus zum Finden des Medianelements in einem Array mit n Zahlen ist:AAAnnn Probe - Elemente von A mit Ersatz in Bn3/4n3/4n^{3/4}AAABBB Sortiere und finde den Rang | B | ± √BBB ElementelundrvonB.|B|±n−−√|B|±n|B|\pm \sqrt{n}lllrrrBBB Stellen Sie sicher, dass sich und r auf...
Ich versuche, mit einer Farbkamera mehrere Objekte im Raum zu verfolgen. Jedes Objekt hat eine andere Farbe und um gut zwischen den einzelnen Objekten unterscheiden zu können, versuche ich sicherzustellen, dass sich jede einem Objekt zugewiesene Farbe von jeder Farbe eines anderen Objekts so stark...
Eine der Definitionen einer rechnerisch aufzählbaren Menge (ce, äquivalent zu rekursiv aufzählbar, äquivalent zu semidecidable) ist die folgende: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ist ce, wenn es eine entscheidbare Sprache (genannt Verifizierer) st für alle ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in...