In ihrer wegweisenden Arbeit von 1987 präsentiert Dana Angluin einen polynomialen Zeitalgorithmus zum Lernen eines DFA aus Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einem vorgeschlagenen DFA). Sie zeigt, dass, wenn Sie versuchen, einen minimalen DFA mit Zuständen zu...
Ich sehe, dass die meisten Definitionen dessen, was es heißt, vollständig zu sein, bis zu einem gewissen Grad tautologisch sind. Zum Beispiel, wenn Sie Google "Was bedeutet es, Turing vollständig zu sein", erhalten Sie: Ein Computer ist vollständig, wenn er ein Problem lösen kann, das eine...
Gibt es einen grundlegenden Unterschied zwischen dynamischer Programmierung von oben nach unten und von unten nach oben? Gibt es insbesondere ein Problem, das von unten nach oben und nicht von oben nach unten gelöst werden kann? Oder ist der Bottom-Up-Ansatz nur eine Abwicklung der Wiederholung im...
EDIT: Ich habe jetzt eine ähnliche Frage zum Unterschied zwischen Kategorien und Mengen gestellt. Jedes Mal, wenn ich über Typentheorie lese (die zugegebenermaßen eher informell ist), kann ich nicht wirklich verstehen, wie sie sich konkret von der Mengenlehre unterscheidet . Ich verstehe, dass es...
Dijkstra macht in seinem Aufsatz Über die Grausamkeit, Informatik wirklich zu unterrichten , den folgenden Vorschlag für einen Einführungskurs in die Programmierung: Einerseits lehren wir, was wie die Prädikatenrechnung aussieht, aber wir machen es ganz anders als die Philosophen. Um den Anfänger...
Es gibt Behälter und Arten von Bällen. Der te Behälter hat die Bezeichnungen für , dies ist die erwartete Anzahl von Bällen des Typs .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Sie beginnen mit Bällen vom Typ . Jeder Ball vom Typ hat das Gewicht und möchte die Bälle so in die Behälter...
Sorry im Voraus, wenn diese Frage dumm klingt ... Soweit ich weiß, funktioniert das Erstellen eines Algorithmus mit dynamischer Programmierung folgendermaßen: Drücken Sie das Problem als wiederkehrende Beziehung aus. Implementieren Sie die Wiederholungsbeziehung entweder durch Auswendiglernen oder...
Es ist bekannt, dass dieser "naive" Algorithmus zum Mischen eines Arrays durch Tauschen jedes Elements mit einem zufällig ausgewählten nicht richtig funktioniert: for (i=0..n-1) swap(A[i], A[random(n)]); Insbesondere gibt es, da bei jeder von Iterationen eine von Entscheidungen getroffen wird (mit...
Dieses 579-Bit-Programm im binären Lambda-Kalkül hat einen unbekannten Haltestatus: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100
Ich plane einen Winterkurs zu verschiedenen Themen, von denen eines Compiler sein wird. Nun, ich bin auf dieses Problem gestoßen, als ich über Aufträge nachgedacht habe, die während des gesamten Quartals zu vergeben waren, aber es hat mich ratlos gemacht, sodass ich es stattdessen als Beispiel...
Wenn ein Computer eine Variable speichert und ein Programm den Wert der Variablen abrufen muss, woher weiß der Computer, wo im Speicher nach dem Wert dieser Variablen gesucht werden
In meiner Klasse fragte eine Schülerin, ob alle endlichen Automaten ohne überkreuzende Kanten gezeichnet werden könnten (anscheinend haben alle meine Beispiele dies getan). Natürlich ist die Antwort negativ, der offensichtliche Automat für die Sprache hat die Struktur von , dem vollständigen...
Ich las über Iota und Jot und fand diesen Abschnitt verwirrend: Im Gegensatz zu Iota, wo der syntaktische Baum für einen String entweder links oder rechts verzweigt sein kann, ist die Jot-Syntax einheitlich links verzweigt. Infolgedessen ist Iota streng kontextfrei, aber Jot ist eine reguläre...
Ich bin noch nicht einmal ein CS-Student, also ist das vielleicht eine blöde Frage, aber bitte trage sie mit mir ... Im Zeitalter vor dem Computer können wir eine Array-Datenstruktur nur mit so etwas wie einem Array von Schubladen implementieren. Da man die Schublade mit dem entsprechenden Index...
Ich lerne CPU's und weiß, wie es ein Programm aus dem Speicher liest und seine Anweisungen ausführt. Ich verstehe auch, dass ein Betriebssystem Programme in Prozessen trennt und sie dann so schnell abwechselt, dass Sie glauben, dass sie gleichzeitig ausgeführt werden, aber tatsächlich läuft jedes...
Ich suche Hilfe beim Verständnis von Floyds Algorithmus zur Zykluserkennung. Ich habe die Erklärung auf Wikipedia durchgearbeitet ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Ich kann sehen, wie der Algorithmus den Zyklus in O (n) -Zeit erkennt. Ich kann mir jedoch nicht...
Wenn etwas einfach ist, sollte es mit ein paar Worten vollständig erklärbar sein. Dies kann für die λ-Rechnung erfolgen: Der λ-Kalkül ist eine syntaktische Grammatik (im Grunde genommen eine Struktur) mit einer Verkleinerungsregel (was bedeutet, dass eine Such- / Ersetzungsprozedur wiederholt auf...
Wenn der Computer beispielsweise 10111100ein bestimmtes Byte RAM gespeichert hat , wie kann der Computer dieses Byte als Ganzzahl, ASCII-Zeichen oder etwas anderes interpretieren? Werden Typdaten in einem benachbarten Byte gespeichert? (Ich glaube nicht, dass dies der Fall wäre, da dies die...
Ich frage mich, ob es ein gutes Beispiel für ein leicht verständliches NP-Hard- Problem gibt, das nicht NP-Complete und nicht unentscheidbar ist. Zum Beispiel ist das Stopp-Problem NP-Hard, nicht NP-Complete, aber unentscheidbar. Ich glaube, dass dies bedeutet, dass es ein Problem ist, für das eine...
Gibt es Turing-vollständige typisierte Lambda-Kalküle? Wenn ja, welche Beispiele gibt