Computerwissenschaften

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 verwenden könnte. public class …

32 computability  proof-techniques  compilers 

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 Sprache. Mein Verständnis ist, dass …

32 regular-languages  programming-languages  turing-completeness 

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 Programm alleine in der CPU. …

32 operating-systems 

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 jedes Auftreten eines bestimmten Musters angewendet wird, bis …

32 functional-programming  type-theory 

Dieses 579-Bit-Programm im binären Lambda-Kalkül hat einen unbekannten Haltestatus: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Das heißt, es ist nicht bekannt, ob dieses Programm beendet wird oder nicht. Um es zu bestimmen, müssen Sie die Collatz-Vermutung lösen - oder zumindest für alle Zahlen bis zu 2 ^ 256. …

32 algorithms  computability  kolmogorov-complexity 

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 vorstellen, dass der Beginn des Zyklus bestimmt werden kann, wenn sich die …

32 algorithms  linked-lists 

Gibt es Turing-vollständige typisierte Lambda-Kalküle? Wenn ja, welche Beispiele gibt es?

31 computability  lambda-calculus  type-theory 

Ich habe gerade das erste Kapitel der Einführung in die Berechnungstheorie von Michael Sipser abgeschlossen, in dem die Grundlagen endlicher Automaten erklärt werden. Er definiert eine reguläre Sprache als alles, was durch endliche Automaten beschrieben werden kann. Aber ich konnte nicht finden, wo er erklärt, warum eine reguläre Sprache "regulär" …

31 formal-languages  regular-languages  terminology  finite-automata  history 

, und sind zwei Zeichenfolgen gleicher Länge. Eine Darstellung von zwei Zeichenfolgen ist eine bijektive Abbildung von so dass für jedes .b 1 b 2 … b na1a2…ana1a2…ana_1a_2\ldots a_nb1b2…bnb1b2…bnb_1b_2\ldots b_na i = b p ( i ) ip:[1…n]→[1…n]p:[1…n]→[1…n]p:[1\ldots n]\to[1\ldots n]ai=bp(i)ai=bp(i)a_i = b_{p(i)}iii Es kann mehr als ein Diagramm für dasselbe …

31 algorithms  strings  search-algorithms  natural-language-processing 

Ich lerne etwas über Radix-Bäume (aka komprimierte Versuche) und Patricia-Versuche, finde aber widersprüchliche Informationen darüber, ob sie tatsächlich gleich sind oder nicht. Ein Radix-Baum kann aus einem normalen (nicht komprimierten) Versuch erhalten werden, indem Knoten mit ihren Eltern zusammengeführt werden, wenn die Knoten das einzige Kind sind. Dies gilt auch …

31 data-structures  trees 

Angenommen, ich muss die folgende diskrete Verteilung simulieren: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Der naheliegendste Weg ist, zufällige Bits zu zeichnen und zu prüfen, ob alle gleich (oder ) …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Ich habe intuitiv Probleme zu verstehen, warum PSPACE im Allgemeinen anders ist als EXPTIME. Wenn PSPACE die Menge der Probleme ist, die im Raumpolynom in der Eingabegröße lösbar sind , wie kann es dann eine Klasse von Problemen geben, die einen größeren exponentiellen Zeitsprung erfahren und den exponentiellen Raum nicht …

31 complexity-theory  complexity-classes  intuition 

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 Lösung verifiziert werden kann, aber …

31 complexity-theory  computability  np-hard 

Somit ist das TSP-Entscheidungsproblem (Travelling Salesman Problem) NP-vollständig . Aber ich verstehe nicht, wie ich überprüfen kann, ob eine gegebene Lösung für TSP in der Polynomzeit tatsächlich optimal ist, da es keine Möglichkeit gibt, die optimale Lösung in der Polynomzeit zu finden (was liegt daran, dass das Problem nicht in …

31 complexity-theory  np-complete  traveling-salesman 

Warum verwenden Computer das Binärzahlensystem (0,1)? Warum verwenden sie stattdessen kein ternäres Zahlensystem (0,1,2) oder ein anderes Zahlensystem?

31 computer-architecture  binary-arithmetic