Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Ermitteln der Funktionen eines Min-Heap-Automaten (oder eines anderen exotischen Automaten)
Am Ende dieses Beitrags finden Sie Erläuterungen zu den Definitionen von Min-Heap-Automaten. Man kann sich vorstellen, eine Vielzahl von Datenstrukturen zum Speichern von Informationen zur Verwendung durch Zustandsautomaten zu verwenden. Zum Beispiel speichern Push-Down-Automaten Informationen in einem Stapel, und Turing-Maschinen verwenden ein Band. Es hat sich gezeigt, dass Zustandsmaschinen, die …
6
Automatisierte Theoremprüfung lernen
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess. Beachten Sie, dass diese Themen ohne Hintergrundwissen in (mathematischen) Logik nicht einfach zu verarbeiten sind. Wenn Sie Probleme mit grundlegenden Begriffen haben, lesen Sie diese nach, z. B. Logik in der …
3
Warum können Menschen bestimmte „unentscheidbare“ Probleme lösen?
Musteranpassung höherer Ordnung ist ein unentscheidbares Problem. Das heißt es gibt keinen Algorithmus, der eine Gleichung gegeben a => b, wo aund bsind offen Begriffe auf dem einfach Lambda - Kalkül eingegeben hat , findet eine Substitution , Sso daß aS => bS, wo =>steht für „die gleiche Bn Normalform“. …
1
Zeige, dass {xy ∣ | x | = | y |, x ≠ y} ist kontextfrei
Ich erinnere mich an die folgende Frage nach einer Sprache, die angeblich kontextfrei ist, aber ich konnte keinen Beweis dafür finden. Habe ich mich vielleicht falsch an die Frage erinnert? Wie auch immer, hier ist die Frage: Zeigen Sie, dass die Sprache ist kontextfrei.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, …
9
Warum sind einige Programmiersprachen vollständig, aber es fehlen einige Fähigkeiten anderer Sprachen?
Beim Schreiben eines Interpreters, der sich an externe Programme / Funktionen anhängt (anhängen sollte), ist ein merkwürdiges Problem aufgetreten: Funktionen in 'C' und 'C ++' können keine unterschiedlichen Funktionen anhängen , z. B. kann ich keine Funktion erstellen , die 'printf' aufruft. mit genau den gleichen Argumenten, die es bekam, …
5
Iteration kann Rekursion ersetzen?
Ich habe da im ganzen Stack - Überlauf, zB hier , hier , hier , hier , hier und einige andere , die ich interessiere mich nicht zu erwähnen, dass „jedes Programm , das Verwendung Rekursion in ein Programm umgewandelt werden kann unter Verwendung von Iteration nur“. Es gab sogar …
11
Warum sollte jemand CISC wollen?
In unserer Vorlesung über Computersysteme wurde uns der MIPS-Prozessor vorgestellt. Es wurde im Laufe des Begriffs (neu) entwickelt und war in der Tat recht einfach zu verstehen. Es verwendet ein RISC- Design, dh , die elementaren Befehle werden regelmäßig codiert und es gibt nur wenige, um die Drähte einfach zu …
1
Stellen Sie sich einen rot-schwarzen Baum vor. Gibt es immer eine Sequenz von Einfügungen und Löschungen, die es schafft?
Nehmen wir die folgende Definition eines rot-schwarzen Baums an: Es ist ein binärer Suchbaum. Jeder Knoten ist entweder rot oder schwarz gefärbt. Die Wurzel ist schwarz. Zwei durch eine Kante verbundene Knoten können nicht gleichzeitig rot sein. Hier sollte eine gute Definition eines NIL-Blattes sein, wie im Wiki. Das NIL-Blatt …
1
Entspricht ein Push-Down-Automat mit zwei Stapeln einer Turing-Maschine?
In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige Turing-Maschine erforderlich ist) . Ich wollte über die Wahrheit des …
3
Kontrastierende Peterson- und Dekker-Algorithmen
Ich versuche, die Algorithmen von Peterson und Dekker zu verstehen, die sehr ähnlich sind und viele Symmetrien aufweisen. Ich habe versucht, die Algorithmen in informeller Sprache wie folgt zu formulieren: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your …
2
Effiziente Datenstrukturen zum Erstellen einer schnellen Rechtschreibprüfung
Ich versuche eine Rechtschreibprüfung zu schreiben, die mit einem ziemlich großen Wörterbuch funktionieren sollte. Ich möchte wirklich, dass meine Wörterbuchdaten auf effiziente Weise indexiert werden, um anhand einer Damerau-Levenshtein- Distanz zu bestimmen, welche Wörter dem falsch geschriebenen Wort am nächsten kommen. Ich suche eine Datenstruktur, die mir den besten Kompromiss …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.