Computerwissenschaften

2

Abschluss gegen rechten Quotienten mit einer festen Sprache

Ich würde mich sehr über Ihre Hilfe bei Folgendem freuen: Für jedes feste L2L2L_2 ich entscheiden, ob es einen Abschluss unter den folgenden Operatoren gibt: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} Die relevanten Optionen sind: Reguläre …

13 formal-languages regular-languages closure-properties

2

Wie kann man beweisen, dass reguläre Sprachen unter dem linken Quotienten geschlossen sind?

Σ = { a , b } L w ∈ Σ * w - 1 L : = { v | w v ∈ L }LLL ist eine reguläre Sprache über dem Alphabet . Der linke Quotient von bezüglich ist die Sprache Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v …

13 formal-languages regular-languages closure-properties

1

Auswahl der Abgriffe für das Linear Feedback Shift Register

Ich bin verwirrt darüber, wie Abgriffe für lineare Rückkopplungsschieberegister ausgewählt werden. Ich habe ein Diagramm, das ein LFSR mit dem Verbindungspolynom . Die fünf Stufen sind mit R 4 , R 3 , R 2 , R 1 und R 0 bezeichnet, und die Abgriffe kommen aus R 0 und …

13 cryptography pseudo-random-generators shift-register

2

Entscheidbare Einschränkungen des Post Correspondence Problems

Das Post Correspondence Problem (PCP) ist nicht zu entscheiden. Die beschränkte Version des PCP ist -vollständig und die markierte Version des PCP (die Wörter einer der beiden Listen müssen sich im ersten Buchstaben unterscheiden) ist in P S P A CN PNP\mathrm{NP} [1].P S P A C EPSPEINCE\mathrm{PSPACE} Werden diese …

13 complexity-theory computability reference-request

3

Warum ist die Verwendung eines Lexers / Parsers für Binärdaten so falsch?

Ich arbeite oft mit Lexer / Parser im Gegensatz zu einem Parser-Kombinator und sehe, dass Leute, die noch nie eine Klasse in Parsing besucht haben, nach dem Parsen von Binärdaten fragen. Typischerweise sind die Daten nicht nur binär, sondern auch kontextsensitiv. Dies führt im Grunde dazu, dass nur eine Art …

13 programming-languages compilers parsers

1

Unterbrechen Sie ein Authentifizierungsprotokoll, das auf einem vorinstallierten symmetrischen Schlüssel basiert

Betrachten Sie das folgende Protokoll zur Authentifizierung von (Alice) gegenüber (Bob) und umgekehrt.AAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,REINB→EIN:E(REIN,K)EIN→B:E(⟨REIN+1,PEIN⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} RRR ist eine zufällige Nonce. KKK ist ein …

13 cryptography protocols authentication

2

Reduzierung vom 3-Partitions-Problem auf das Problem der ausgeglichenen Partition

Das 3-Partitions-Problem fragt, ob ein Satz von 3 n3n3n Ganzzahlen in nnn Sätze von drei Ganzzahlen unterteilt werden kann, so dass jeder Satz eine bestimmte Ganzzahl ergibt BBB. Das Problem der ausgeglichenen Partition fragt, ob 2 n2n2n Ganzzahlen in zwei Gruppen gleicher Kardinalität aufgeteilt werden können, sodass beide Gruppen die …

13 complexity-theory reductions np-complete

1

Blockieren alle Systemaufrufe?

Ich habe einen Artikel gelesen , der den Wechsel zwischen User-Space und Kernel-Space beschreibt, der bei einem Systemaufruf auftritt. Der Artikel sagt Eine Anwendung erwartet den Abschluss des Systemaufrufs, bevor die Ausführung im Benutzermodus fortgesetzt wird. Bisher bin ich davon ausgegangen, dass es einige Systemaufrufe gibt blocking, während es andere …

13 operating-systems os-kernel

1

Überprüfung der Sicherheit des Pseudozufallszahlengenerators von Nisan-Wigderson

Sei ein partielles -Design und sei eine Boolesche Funktion. Der Nisan-Wigderson-Generator ist wie folgt definiert: ( m , k ) f : { 0 , 1 } m → { 0 , 1 } G f : { 0 , 1 } l → { 0 , 1 } nS={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq …

13 cryptography pseudo-random-generators

2

Identifizieren von Ereignissen, die sich auf Daten in einem Absatz beziehen

Gibt es einen algorithmischen Ansatz zum Identifizieren der in einem Absatz angegebenen Daten, die mit bestimmten Ereignissen (Ausdrücken) im Absatz korrelieren? Betrachten Sie beispielsweise den folgenden Absatz: Im Juni 1970 leistete der große Führer den Eid. Erst nach dem Tod des Staatsministers im Mai 1972 übernahm er die Leitung des …

13 algorithms data-mining natural-language-processing

1

Gibt es eine kontextfreie, nicht reguläre Sprache

Ich weiß , dass es nicht-reguläre Sprachen, so dass regulär ist, aber alle Beispiele , die ich sind kontextsensitiv finde aber nicht kontextfrei.L∗L∗L^* Falls es keine gibt, wie beweisen Sie das?

13 formal-languages context-free regular-languages

1

Analyse einer modifizierten Version des Kartenspiels "War"

Als einfaches Spiel, das normalerweise von Kindern gespielt wird, wird das Kriegsspiel von zwei Personen mit einem Standardstapel von 52 Spielkarten gespielt. Zunächst wird das Deck gemischt und alle Karten werden zu zweit ausgeteilt, sodass jeder Spieler 26 zufällige Karten in zufälliger Reihenfolge hat. Wir gehen davon aus, dass die …

13 algorithms optimization

1

Zufälliger Sudoku-Generator

Ich möchte ein völlig zufälliges Sudoku generieren . Definieren Sie ein Sudoku-Gitter als Gitter mit ganzen Zahlen zwischen und wobei einige Elemente weggelassen werden können. Ein Raster ist ein gültiges Rätsel, wenn es eine einzigartige Möglichkeit gibt, es zu vervollständigen, um die Sudoku-Bedingungen zu erfüllen (jede Zeile, Spalte und ausgerichtetes …

13 algorithms randomness sudoku

1

Monadic Second Order Logic für Dummies

Ich bin Programmierer mit einem Griff auf Automaten, aber nicht auf Logik. Ich habe in Zeitungen gelesen, dass die beiden sehr eng miteinander verbunden sind. Deterministische endliche Automaten (DFA), Baumautomaten und sichtbare Pushdown-Automaten sind alle mit der monadischen Logik zweiter Ordnung (MSO) verwandt. Obwohl ich die Automaten verstehe und die …

13 automata finite-automata logic coq automated-theorem-proving

3

Kann dieser Algorithmus immer noch als binärer Suchalgorithmus betrachtet werden?

Bei der zweiten Code-Kata (bei der Sie aufgefordert werden, fünf Mal einen binären Suchalgorithmus zu implementieren, jedes Mal mit einer anderen Methode) habe ich eine etwas andere Lösung gefunden, die wie folgt funktioniert: Wenn ich ein sortiertes Array mit einer Länge von 100 habe und sehe, dass sein Startfeld die …

13 algorithms terminology search-algorithms binary-search