Berücksichtigt man nur das Alphabet , stammen die Zeichenfolgen, die als Eingabe für die Turing-Maschinen verwendet werden können, aus der Menge . Aber macht es Sinn, dass die Eingabe eine unendliche Binärzeichenfolge ist? Wenn beispielsweise eine Turing-Maschine alle Zeichenfolgen akzeptiert, die...
Ist der folgende Sprachkontext frei? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Wie von sdcvvc hervorgehoben, kann ein Wort in...
Ich weiß, dass der Algorithmus von Euclid der beste Algorithmus ist, um den GCD (Great Common Divisor) einer Liste positiver Ganzzahlen zu erhalten. In der Praxis können Sie diesen Algorithmus jedoch auf verschiedene Arten codieren. (In meinem Fall habe ich mich für Java entschieden, aber C / C ++...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich habe ein einfaches Lexer und einen Parser für reguläre Ausdrücke erstellt, um einen regulären Ausdruck zu verwenden und dessen Analysebaum zu generieren....
Ich habe zwei Definitionen von ausgeglichenen binären Bäumen gesehen, die für mich unterschiedlich aussehen. Ein Binärbaum ist ausgeglichen, wenn für jeden Knoten gilt, dass sich die Anzahl der inneren Knoten im linken Teilbaum und die Anzahl der inneren Knoten im rechten Teilbaum um höchstens 1...
Beachte, während ich programmieren kann, bin ich ein ziemlicher Anfänger in der CS-Theorie. Nach dieser Antwort Vollständigkeit ist ein abstrakter Begriff der Berechenbarkeit. Wenn eine Sprache Turing vollständig ist, ist sie in der Lage, alle Berechnungen durchzuführen, die eine andere Sprache von...
Wie in diesem aktuellen XKCD-Strip und diesem aktuellen Blog-Post zu sehenVon Peter Norvig (und einer Slashdot-Geschichte mit letzterem) ist "Regex Golf" (das besser als das Problem der Trennung regulärer Ausdrücke bezeichnet werden könnte) das Rätsel, den kürzestmöglichen regulären Ausdruck zu...
Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren....
Informelle Problemstellung: Bei einer gegebenen Zeichenfolge, z. B. , möchten wir einige Buchstaben rot und einige Buchstaben blau (und einige überhaupt nicht) färben, sodass das Lesen nur der roten Buchstaben von links nach rechts dasselbe Ergebnis ergibt wie das Lesen nur der blauen...
Ist es die Aufgabe der Software (des Betriebssystems), Stapelüberläufe zu erkennen, oder wird ein Stapelüberlauf in der Hardware festgestellt, der eine Ausnahme in der CPU
Die meisten von uns kennen die Entsprechung zwischen kombinatorischer Logik und Lambda-Rechnung . Aber ich habe noch nie das Äquivalent von "typisierten Kombinatoren" gesehen (vielleicht habe ich nicht tief genug geschaut), das dem einfach typisierten Lambda-Kalkül entspricht. Gibt es so etwas? Wo...
Es ist bekannt, dass jedes Optimierungs- / Suchproblem ein äquivalentes Entscheidungsproblem hat. Zum Beispiel das Problem mit dem kürzesten Weg Optimierungs- / Suchversion: Finden Sie bei einem ungerichteten ungewichteten Graphen G = ( V , E )G=(V,E)G = (V, E) und zwei Eckpunkten v , u ∈...
Wann gibt es einige (relativ) grundlegende Fälle (denken Sie an CS-Studenten im ersten Studienjahr), in denen man anstelle einer Schleife eine Rekursion verwenden würde?
Unter der Annahme, dass die Cache-Anforderungen l1 und l2 zu einem Fehler führen, bleibt der Prozessor stehen, bis auf den Hauptspeicher zugegriffen wurde? Ich habe von der Idee gehört, zu einem anderen Thread zu wechseln. Wenn ja, womit wird der blockierte Thread
Ich lerne die Programmiersprache Haskell und versuche, mich mit dem Unterschied zwischen a typeund a auseinanderzusetzen kind. Wie ich es verstehe, a kind is a type of type. Zum Beispiel a ford is a type of carund a car is a kind of vehicle. Ist dies eine gute Möglichkeit, darüber nachzudenken?...
Einer der Hyperparameter für LSTM-Netzwerke ist die Temperatur. Was ist
Ich habe mich im Internet nach einer Antwort auf diese Frage umgesehen und es scheint, als ob jeder außer mir die Antwort implizit kennt. Vermutlich liegt das daran, dass die einzigen Menschen, die sich darum kümmern, diejenigen sind, die eine Hochschulausbildung zu diesem Thema absolviert haben....
Ich habe Probleme, den Beweis für die Unentscheidbarkeit des Halteproblems zu verstehen. Wenn zurückgibt, ob das Programm a bei Eingabe b anhältoder nicht, warum müssen wir den Code von P sowohl für a als auch für b übergeben ?H( a , b )H(a,b)H(a,b)einaabbbPPPeinaabbb Warum können wir mit P und...
Hier ist eine Vermutung für reguläre Ausdrücke: Für den regulären Ausdruck sei die LängeGeben Sie die Anzahl der darin enthaltenen Symbole an und ignorieren Sie dabei Klammern und Operatoren. ZB| R | | 0 ∪ 1 | = | ( 0 ∪ 1 ) * | = 2RRR| R ||R||R|| 0∪1 | = | (0∪1 )∗| =2|0∪1|=|(0∪1)∗|=2|0 \cup 1| =...
Ich suche nach einem Algorithmus zum Verteilen von Werten aus einer Liste, damit die resultierende Liste möglichst "ausgeglichen" oder "gleichmäßig verteilt" ist (in Anführungszeichen, da ich nicht sicher bin, ob dies die beste Art ist, sie zu beschreiben ... Später werde ich einen Weg zeigen, um...