Kann eine kontextfreie Grammatik "tote Zustände" von einem Automaten enthalten, wie z G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({ein,b,c},{EIN,B,C},{EIN→einB,B→b,B→C,C→cC},EIN)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,?...
Wir haben Hoare-Logik. Warum ist es immer noch möglich, dass ein Algorithmus richtig ist, aber es gibt keinen Beweis dafür, dass er richtig ist? Angenommen, der Algorithmus wird in C ausgedrückt. Dann können wir Schritt für Schritt argumentieren, dass er das tut, was er tun soll. Meine Frage lautet...
Nach der Veröffentlichung der AIGER-Bibliothek, um irgendwann im Jahr 2006 Graphen zu verarbeiten und umzuwandeln (glaube ich), wurden 2006-2008 einige Schaltkreis-SAT-Solver veröffentlicht, und in einigen SAT-Rennen / Wettbewerben gab es AIG-Strecken. Es scheint jedoch, dass der Fokus seitdem...
Ich bin neu in der Theorie der Programmiersprache. Ich habe mir einige Online-Vorlesungen angesehen, in denen der Kursleiter behauptete, eine Funktion mit polymorphem Typ forall t: Type, t->tsei die Identität, erklärte aber nicht, warum. Kann mir jemand erklären warum? Vielleicht ein Beweis für...
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche...
Existiert eine berechenbare Funktion so dass:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Für alle t∈N:0≤f(t)<Xt∈N:0≤f(t)<Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Wobei eine nicht berechenbare reelle Zahl ist.XXX Der einzige Hinweis auf...
Wenn für ein Problem A ein Algorithmus zur Zeit wird und jemand einen Algorithmus zur Zeit , wobei , wird dies als Verbesserung gegenüber dem vorherigen Algorithmus angesehen?O ( f ( n ) / g ( n ) ) g ( n ) = o ( f ( n ) )O ( f( n ) )O(f(n))O(f(n))O ( f( n ) / g( n ) )O(f(n)/g(n))O(f(n)/g(n))G( n )...
Ich möchte wissen, ob das folgende Problem entscheidbar ist und wie man es herausfindet. Jedes Problem, das ich sehe, kann ich mit "Ja" oder "Nein" beantworten. Sind die meisten Probleme und Algorithmen mit Ausnahme einiger weniger entscheidbar (was hier angegeben ist )? Eingabe: Ein gerichteter...
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...
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess . Ich lese weiter über den Vereinigungsalgorithmus . Was ist das und warum ist Inference Engines so wichtig ? Warum ist es für die Informatik so wichtig?...
Laut Wikipedia existieren für jede reguläre Sprache LLL Konstanten λ1, … , Λkλ1,…,λk\lambda_1,\ldots,\lambda_k und Polynome p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) so dass für jedes nnn die Anzahl sL(n)sL(n)s_L(n) von Wörtern der Länge gilt nnn in LLL erfüllt die Gleichung...
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
Wie können Sie überprüfen, ob zwei Algorithmen (z. B. Merge Sort und Naive Sort) für jede Eingabe dasselbe Ergebnis liefern, wenn die Menge aller Eingaben unendlich ist? Update: Vielen Dank, Ben, für die Beschreibung, wie dies im allgemeinen Fall nicht algorithmisch möglich ist. Daves Antwort ist...
Ich kämpfe darum, die Beziehung zwischen NP-Intermediate und NP-Complete zu verstehen. Ich weiß, dass, wenn P! = NP, basierend auf Ladners Theorem, eine Klasse von Sprachen in NP existiert, aber nicht in P oder in NP-Complete. Jedes Problem in NP kann auf ein NP-Complete-Problem reduziert werden....
Ich dachte , assoziatives Array (dh Karte oder Wörterbuch) und Hashing - Tabelle war das gleiche Konzept, bis ich sehe , in Wikipedia , dass Für Wörterbücher mit einer sehr geringen Anzahl von Bindungen kann es sinnvoll sein, das Wörterbuch mithilfe einer Zuordnungsliste, einer verknüpften Liste...
Was sind die Unterschiede zwischen Computer Vision und Bildverarbeitung? Welche Rolle spielen beispielsweise Computer Vision und Bildverarbeitung bei der
Gibt es eine allgemeine Methode, um zu beweisen, dass ein Problem NICHT NP-vollständig ist? Ich habe diese Frage in der Prüfung erhalten, in der ich gefragt wurde, ob ein Problem (siehe unten) NP-Complete ist. Ich konnte mir keine wirkliche Lösung vorstellen und habe nur bewiesen, dass es in P....
Gibt es eine Turing-Maschine, die bei allen Eingaben anhält, aber diese Eigenschaft ist aus irgendeinem Grund nicht nachweisbar? Ich frage mich, ob diese Frage untersucht wurde. Beachten Sie, dass "unbeweisbar" ein "eingeschränktes" Beweissystem bedeuten kann (das im schwachen Sinne der Meinung...
Hat jemand jemals ein System geschrieben (Software oder detaillierte Erklärung auf Papier mit einfachen Beispielen), das Computerprogramme generiert? Ich gebe und es wird ein Programm erstellt, das die Primzahlen kleiner als 10 auflistet. ist einfach definiert als Professoren sagen, dass sie es...
Ich habe das Buch "C ++ Demystified" studiert . Jetzt habe ich angefangen, "Objektorientierte Programmierung in Turbo C ++ - Erstausgabe (1. Auflage)" von Robert Lafore zu lesen . Ich habe keine Programmierkenntnisse, die über diese Bücher hinausgehen. Dieses Buch ist möglicherweise veraltet, weil...