Σ = { 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 \mid wv \in L\} Wie kann ich beweisen, dass...
Es gibt viele beliebte Sprachen. Informatiker sagen uns jedoch, dass wir, um das Verhalten von Programmen in diesen Sprachen definitiv und eindeutig verstehen zu können, diese in eine andere, gut verstandene Sprache übersetzen müssen (z. B. um ihre Identität zu beweisen). Sie nennen solche Sprache...
Während ich die aktuelle Aufgabe für meinen formalen Sprach- und Automatenkurs erledigte, blieb ich bei Übungen mit unären Sprachen hängen (ich hoffe, das ist der richtige Begriff), dh Sprachen, die auf einem einzelnen Buchstaben aufbauen. Ich möchte jedoch nicht nach den spezifischen Übungen...
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...
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten....
Ich dachte an Grammatiken für indendationssensitive Sprachen und es sieht so aus, als würden CF-Grammatiken in Kombination mit Parametern den Trick machen. Betrachten Sie als Beispiel dieses Fragment für eine vereinfachte Python-Grammatik im ANTLR-ähnlichen Format: // on top-level the statements...
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...
Ich frage mich über die Beziehung zwischen der Komplexität der Berechnungen und der Chomsky-Hierarchie im Allgemeinen. Insbesondere, wenn ich weiß, dass ein Problem NP-vollständig ist, folgt daraus, dass die Sprache dieses Problems nicht kontextfrei ist? Zum Beispiel ist das Cliquenproblem...
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
Ich möchte einen von einem Benutzer eingegebenen regulären Ausdruck in einen NFA konvertieren, damit ich den NFA dann zu Übereinstimmungszwecken für eine Zeichenfolge ausführen kann. Was ist die minimale Maschine, die verwendet werden kann, um reguläre Ausdrücke zu analysieren? Ich gehe davon aus,...
Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind....
Ich dachte, alle regulären Sprachen könnten mit regulären Ausdrücken ausgedrückt werden (wenn eine Sprache regulär ist, kann sie mit regulärem Ausdruck ausgedrückt werden), aber mir wurde gesagt, dass Sie alle drei regulären Operationen (Verkettung, Vereinigung und Stern) dafür benötigen halten....
Ich bin auf diese Abbildung gestoßen, die zeigt, dass kontextfreie und reguläre Sprachen (richtige) Teilmengen effizienter Probleme sind (angeblich ). Ich verstehe vollkommen, dass effiziente Probleme eine Teilmenge aller entscheidbaren Probleme sind, weil wir sie lösen können, aber es kann sehr...
Es scheint, dass "Basic Regular Expressions", wie sie in POSIX.1-2008 definiert sind, keine Alternative unterstützen a|b(obwohl einige grep-Implementierungen die maskierte Version erkennen \|). Bedeutet dies, dass POSIX BRE weniger Ausdruckskraft hat als ein endlicher Automat, da die regulären...
Sei regulär, regulär, nicht regulär. Zeigen Sie, dass nicht regelmäßig ist, oder geben Sie ein Gegenbeispiel an.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Ich habe versucht: Schauen Sie sich . Dieser ist regelmäßig. Ich kann dafür einen endlichen Automaten konstruieren: ist...
Ich möchte beweisen, dass das Komplement von ist bei Verwendung von Schließungseigenschaften nicht regulär.{ 0n1n∣ n ≥0 }{0n1n∣n≥0}}\{0^n1^n \mid n \geq{} 0\} Ich verstehe, dass das Pump-Lemma verwendet werden kann, um zu beweisen, dass ist keine reguläre Sprache. Ich verstehe auch, dass reguläre...
Wenn regulär ist, folgt daraus, dass regulär ist?A 2A2A^2EINAA Mein Beweisversuch: Ja, für den Widerspruch wird angenommen, dass nicht regulär ist. Dann .A AAA 2 = A ⋅ AA2=A⋅AA^2 = A \cdot A Da die Verkettung von zwei nicht regulären Sprachen nicht regulär ist, kann nicht regulär sein. Dies...
Sagen Sie, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Wie können wir dann beweisen, dassL∗L∗L^* regelmäßig ist? Wenn LLL regulär ist, dann ist natürlich auch L∗L∗L^* regulär. Wenn LLL endlich ist, dann ist es regulär und wieder ist L∗L∗L^* regulär. Ich habe auch bemerkt , dass für L={0p∣p is a...
Ich verstehe, dass kontextfreie Grammatiken verwendet werden können, um kontextfreie Sprachen darzustellen. Es kann Mehrdeutigkeiten geben. Wir haben auch Normalformen wie Chomsky und Greibach Normalform. Ich konnte das nicht verstehen. Warum sind sie in der Sprachtheorie wichtig? Alle Lehrbücher,...
Hier ist das Problem: Beweisen Sie, dass Single-Tape-Turing-Maschinen, die nicht auf den Teil des Bands schreiben können, der die Eingabezeichenfolge enthält, nur reguläre Sprachen erkennen. Meine Idee ist es zu beweisen, dass dieses spezielle TM einem DFA entspricht. Die Verwendung dieses TM zur...