Computerwissenschaften

2

Ist das Komplement von {ww | ...} kontextfrei?

Definieren Sie die Sprache als . Mit anderen Worten enthält die Wörter, die nicht als ein Wort ausgedrückt werden können, das zweimal wiederholt wird. Ist kontextfrei oder nicht?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Ich habe versucht, mit zu schneiden , aber ich kann immer noch nichts …

13 formal-languages context-free formal-grammars

2

Kolmogorov Komplexität: Warum brauchen Sie mehr Bytes als die Zeichenkette selbst?

Ich habe den Wikipedia-Eintrag zu Kolmogorov Complexity gelesen ( dank dieser Frage ), in dem es heißt: Es kann gezeigt werden, dass die Kolmogorov-Komplexität eines Strings nicht mehr als ein paar Bytes größer sein kann als die Länge des Strings. Warum brauchst du jemals mehr als die Zeichenkette selbst, um …

13 kolmogorov-complexity

2

Gibt es eine Theorie / Abstraktion hinter OOP?

Funktionale Programmierung hat den sehr eleganten Lambda-Kalkül und seine Varianten als Backup-Theorie. Gibt es so etwas für OOP? Was ist eine Abstraktion für das objektorientierte Modell?

13 terminology lambda-calculus functional-programming object-oriented

1

Wie finde ich die kürzeste Darstellung für eine Teilmenge eines Powersets?

Ich suche einen effizienten Algorithmus für das folgende Problem oder einen Beweis für die NP-Härte. Sei ΣΣ\Sigma eine Menge und A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) eine Menge von Teilmengen von ΣΣ\Sigma . Finden einer Sequenz w ∈ & Sigma; *w∈Σ∗w\in \Sigma^* der geringsten Länge , so daß für jedes …

13 algorithms formal-languages encoding-scheme

4

Komplexität des rekursiven Fibonacci-Algorithmus

Verwenden des folgenden rekursiven Fibonacci-Algorithmus: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Wenn ich die Zahl 5 eingebe, um fib (5) zu finden, weiß ich, dass dies 5 ausgibt, aber wie überprüfe ich die Komplexität dieses Algorithmus? Wie berechne ich die Schritte?

13 algorithms time-complexity recursion

4

Brückensätze für Gruppentheorie und formale Sprachen

Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung zwischen Halbgruppen und CS-Sprachen bekannt ist (nämlich über …

13 formal-languages reference-request automata discrete-mathematics group-theory

1

Ermittlung der maximalen Faktorisierung regulärer Sprachen

Lassen Sie die Sprache L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* regelmäßig. Eine Faktorisierung von LL\mathcal{L} ist ein maximales Paar (X,Y)(X,Y)(X,Y) von Wortmengen mit X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , wobei X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅Y′⊆LX′⋅Y′⊆LX'\cdot Y' \subseteq …

13 algorithms regular-languages optimization

5

Inwiefern unterscheidet sich die Eindeutigkeit vom Determinismus?

Ich versuche zu verstehen, was unter "deterministisch" in Ausdrücken wie "deterministische kontextfreie Grammatik" zu verstehen ist. (Es gibt eher deterministische "Dinge" in diesem Bereich). Ich würde ein Beispiel mehr schätzen als die ausführlichste Erklärung! Wenn möglich. Meine Hauptverwirrung ist, dass ich nicht feststellen kann, inwiefern sich diese Eigenschaft einer Grammatik …

13 context-free formal-grammars parsers

6

Muss ein abstrakter Syntaxbaum ein Baum sein?

Muss die Ausgabe eines Parsers ein Baum sein oder könnte es auch ein allgemeiner Graph sein? Gibt es darüber hinaus eine Sprache oder eine plausible Sprache, die allgemeine Diagrammdarstellungen anstelle von Bäumen für ihre Syntax verwendet?

13 compilers parsing

3

Wer braucht Linearisierbarkeit?

Ich habe über die Unterschiede zwischen Serialisierbarkeit und Linearisierbarkeit gelesen , die beide Konsistenzkriterien für replizierte Systeme wie replizierte Datenbanken sind. Ich weiß jedoch nicht, in welchen Fällen Linearisierbarkeit erforderlich wäre, obwohl sie stärker ist als Serialisierbarkeit. Könnten Sie sich Szenarien einfallen lassen, in denen solch ein starkes Eigentum tatsächlich …

13 concurrency databases

1

Verwenden Sie eine minimale Anzahl von Tauschvorgängen, damit jeder Behälter Bälle der gleichen Farbe enthält

Es gibt - Bins, die i enthält th ist ein i Bälle. Die Bälle haben n Farben, es gibt ein i Bälle der Farbe i . Lassen m = Σ n i = 1 a i .nnniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Ein Tausch ist, einen Ball aus einem Behälter zu nehmen und mit …

13 algorithms complexity-theory balls-and-bins

3

Berechnung der Busy-Beaver-Funktion

Die Busy-Beaver-Max-Shift-Funktion hat bekannte Werte für . Gibt es einen grundlegenden strukturellen Grund, warum es unvorstellbar ist, dass wir jemals für ? Was ist so anders an als an ? Oder ? Irgendwo auf dem Weg muss es einen fundamentalen Unterschied geben, sonst wäre im Prinzip für alle berechenbar. Was …

13 computability busy-beaver

2

Die perfekte Übereinstimmung der Stichproben erfolgt nach dem Zufallsprinzip

Angenommen , ich habe einen Graphen mit M ( G ) der (unbekannt) Reihe von perfekt passenden G . Angenommen, diese Menge ist nicht leer. Wie schwierig ist es dann, aus M ( G ) eine gleichmäßige Zufallsauswahl zu treffen ? Was ist, wenn ich mit einer Verteilung einverstanden bin, …

13 algorithms complexity-theory matching sampling

3

P, NP und spezialisierte Turingmaschinen

Ich bin ein bisschen neu, aber sehr interessiert am Gebiet der Computer- und Komplexitätstheorie, und ich möchte mein Verständnis darüber klären, wie man Probleme klassifiziert und wie stark sich die Probleme auf die Maschine beziehen, mit der sie gelöst werden. Mein Verständnis Standard Turing Machine - eine Turing-Maschine, die ein …

13 complexity-theory computability terminology turing-machines complexity-classes

7

Können wir sagen, dass DFA effizienter ist als NFA?

Ich habe gerade angefangen, über die Theorie der Berechnung zu lesen. Wenn wir vergleichen, was (beim Akzeptieren von Zeichenfolgen) mächtiger ist, sind beide gleich. Aber wie steht es mit der Effizienz? DFA ist im Vergleich zu NFA schnell, da es nur eine ausgehende Flanke hat und keine Mehrdeutigkeit besteht. Aber …

13 finite-automata efficiency nondeterminism