Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik...
Gibt es eine "natürliche" Sprache, die unentscheidbar ist? mit "natürlich" meine ich eine sprache, die direkt durch die eigenschaften von strings definiert ist und nicht über maschinen und deren äquivalent. Mit anderen Worten, wenn die Sprache wie folgt aussieht: wobei TM, DFA (oder reguläre Exp),...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich suche nach mathematischen Theorien, die sich mit der Beschreibung formaler Sprachen (Mengen von Zeichenfolgen) im Allgemeinen...
Bei der Betrachtung von Rechenmodellen für Maschinen wird die Chomsky-Hierarchie normalerweise durch (in der Reihenfolge) endliche Automaten, Push-down-Automaten, linear gebundene Automaten und Turing-Maschinen charakterisiert. Für die erste und letzte Ebene 1 (reguläre Sprachen und rekursiv...
Die kontextfreien Sprachen werden nicht unter Ergänzung geschlossen, das wissen wir. Nach meinem Verständnis werden kontextfreie Sprachen, die für einige Buchstaben eine Teilmenge von sind, unter Komplement (!?) geschlossen.ein∗b∗a∗b∗a^*b^*a , ba,ba,b Hier ist mein Argument. Jede CF-Sprache hat ein...
Wikipedia hat die folgende Definition des Pumplemmas für reguläre Sprachen ... Sei eine reguläre Sprache. Dann existiert eine ganze Zahl ≥ 1, die nur von abhängt, so dass jede Kette in einer Länge von mindestens ( wird als "Pumplänge" bezeichnet) als = (dh kann in drei geteilt werden)...
Ich möchte benutzerdefinierte domänenspezifische Sprachen analysieren. Diese Sprachen ähneln normalerweise mathematischen Notationen (ich analysiere keine natürliche Sprache). Benutzer definieren ihr DSL in einer BNF-Notation wie folgt: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr...
Ich versuche, Pump-Lemma zu verwenden, um zu beweisen, dass nicht regulär ist.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Dies ist, was ich bisher habe: Angenommen, ist regulär und sei die Pumplänge, so ist . Man betrachte jede Pumpzerlegung so, dass und .p w = ( 01 ) p 2 p...
Ich stecke in der folgenden Frage fest: "Reguläre Sprachen sind genau diejenigen, die von endlichen Automaten akzeptiert werden. Zeigen Sie, dass, wenn die Sprache von einem endlichen Automaten akzeptiert wird, auch von einem endlichen akzeptiert wird; besteht aus allen Wörtern von umgekehrt. "LLL...
Lassen L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Ist regelmäßig?LLL Diese Frage sah auf den ersten Blick verdächtig aus und ich habe festgestellt, dass sie mit der Twin-Prime-Vermutung zusammenhängt . Mein...
Betrachten wir zwei kontextfreie Grammatiken und und stellen Sie die folgende Frage: Ist , sind die beiden Grammatiken äquivalent?G 2 L ( G 1 ) = L ( G 2 )G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) Im Allgemeinen ist dieses Problem nicht zu entscheiden. Wenn jedoch sowohl als auch...
Wenn eine reguläre Sprache , ist es leicht zu beweisen, dass es eine Konstante N gibt, die σ ∈ L ist , mit | σ | ≥ N gibt es Zeichenketten α , β und γ, so dass | α β | ≤ N und | β | & Ne; & egr; und für alle k ist & agr; & bgr; k & ggr; ∈ LLLLNNNσ∈ Lσ∈L\sigma \in L| σ| ≥...
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche...
Gibt es einen Algorithmus / ein systematisches Verfahren, um zu testen, ob eine Sprache kontextfrei ist? Mit anderen Worten, testen Sie bei einer in algebraischer Form angegebenen Sprache (denken Sie an etwas wie ), ob die Sprache kontextfrei ist oder nicht . Stellen Sie sich vor, wir schreiben...
Rahmen: reguläre Ausdrücke mit Rückverweisen unäre Sprache (1-Symbol-Alphabet) Kann das folgende Problem in dieser Einstellung behoben werden: Definiert ein regulärer Ausdruck mit Rückverweisen eine reguläre Sprache? Definiert beispielsweise (aa+)\1eine reguläre Sprache, während (aa+)\1+dies nicht...
Es gibt viele (und ich meine viele) zählbare Sprachen, die Turing-entscheidbar sind. Kann jede unzählige Sprache entscheidend
Laut Wikipedia existieren für jede reguläre Sprache LLL Konstanten λ1, … , Λkλ1,…,λk\lambda_1,\ldots,\lambda_k und Polynome p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) so dass für jedes nnn die Anzahl sL(n)sL(n)s_L(n) von Wörtern der Länge gilt nnn in LLL erfüllt die Gleichung...
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die...
In Anbetracht Sprachen und , lassen Sie uns sagen , dass ihre Verkettung ist eindeutig , wenn für alle Wörter , gibt es genau eine Zerlegung mit und und mehrdeutig sonst. (Ich weiß nicht, ob es einen etablierten Begriff für diese Eigenschaft gibt - schwer zu finden!) Als triviales Beispiel ist die...
Beachten Sie, dass dies eine Frage ist, die sich auf das Studium in einem CS-Kurs an einer Universität bezieht. Es handelt sich NICHT um Hausaufgaben. Sie finden sie hier unter Prüfung Herbst 20112. Hier sind die beiden Fragen, die ich aus einer früheren Prüfung sehe. Sie scheinen verwandt zu sein,...