Wir haben zwei Sprachen: L1,L2L1,L2L_1,L_2 . Wir wissen, dass L1L2L1L2L_1L_2 eine reguläre Sprache ist. Meine Frage ist also, ob L2L1L2L1L_2L_1 eine reguläre Sprache ist. Ich versuche einen Weg zu finden, es zu beweisen ... Ich kann natürlich nicht davon ausgehen, dass L1,L2L1,L2L_1,L_2 regulär...
Ich habe zwei Fragen: Ich betrachte die folgende Sprache L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Mit anderen Worten, www ist kein Palindrom mit gerader Länge. Ich habe bewiesen, dass diese Sprache NICHT...
Sei , wobei a 0 = ϵ und a n = a n - 1 a für alle n ≥ 1 sind .L = { an∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}ein0= ϵa0=ϵa^0 = \epsiloneinn= an - 1einan=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Somit besteht aus Sequenzen a aller Längen, einschließlich einer Sequenz der Länge 0 . Lassen L 2 sein , jede...
Es ist bekannt, dass das Universalitätsproblem für NFA (Entscheidung, ob ) vollständig ist. Was ist jedoch, wenn bekannt ist, dass jeder Staat der NFA akzeptiert? Es scheint mir , dass das Problem bei den meisten in ist - , als Gegenbeispiel (anders als im Fall eines allgemeinen NFA) ist Polynom...
Lassen bin(n)bin(n)\mbox{bin}(n) bezeichnen die binäre Darstellung einer ganzen Zahl nnn. LassenL={bin(n2)∣n∈N}L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \}. Ist LLL eine normale Sprache? Ich denke, das kann man beweisen LLL ist nicht regelmäßig mit dem Pump-Lemma, aber ich weiß...
Für meine Bachelorarbeit betrachte ich die Klasse von Sprachen, die von symmetrischen DFAs erkannt werden, dh deterministische (vollständige) endliche Automaten, die die folgende Bedingung erfüllen: Sei ein vollständiger DFA über dem Alphabet . Wenn es für jedes a \ in \ Sigma und jeden Übergang u...
Grundsätzlich sagt der Titel. Warum können Sie den Teil "xy" "ignorieren", wenn Sie beweisen möchten, ob eine Sprache regulär
Ich frage mich, wie ich beweisen kann, dass L regulär sein muss, wenn eine Sprache L in o (nlog (n)) entscheidbar ist. Ich sollte wahrscheinlich erwähnen, dass mit "entscheidbar" meine ich "mit einer deterministischen Einzelband-Turingmaschine entscheidbar sein". Danke und Grüße...
Lassen ΣΣ\Sigma sei ein Alphabet und lass x+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*Zeichenfolgen über diesem Alphabet sein. Rufen Sie eine Zeichenfolge aufs∈Σ∗s∈Σ∗s \in \Sigma^* gut wennsss ist eine Folge von x+x+x^+ aber keine Folge von x−1,…,x−nx1−,…,xn−x^-_1,\dots,x^-_n....
Lassen f:N→Nf:N→Nf : \mathbb{N} \to \mathbb{N}eine ganzzahlige Funktion sein. Für eine SpracheLLL, definieren f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L) = \{w \mid \exists x : |x| = f(|w|) \text{ and } wx \in L\} Zum Beispiel wenn f(n)=nf(n)=nf(n) = n Dies ist nur die...
Ich bin eine Konstruktion deterministischen endlichen Automaten für eine Sprache aller Strings (DFA) definiert über , deren Länge auch für die Anzahl der s ungerade ist . Ich habe jedes DFA separat erstellt und dann kombiniert:{0,1}{0,1}\{0,1\}111 Ist das angegebene Verfahren zum Kombinieren von...
Ich lese "Eine Einführung in formale Sprachen und Automaten" von Peter Linz und nach dem Lesen der ersten fünf Kapitel habe ich das folgende Problem mit einfachen und regelmäßigen (insbesondere rechtslinearen) Grammatiken, die einander sehr ähnlich sind. Welche Beziehung besteht zwischen diesen?...
Ich habe die letzte Stunde mit diesem Problem herumgefummelt und bin unglaublich ratlos. Sei A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\} . Zeigen Sie, dass AEINA regelmäßig ist. Die Sprache erfüllt offensichtlich das Pumping Lemma, aber das ist...
Der erste Satz des Wikipedia-Artikels zu Parikhs Theorem lautet: "Parikhs Theorem in der theoretischen Informatik besagt, dass die Sprache nicht von einer regulären Sprache zu unterscheiden ist, wenn man nur die relative Anzahl der Vorkommen von Terminalsymbolen in einer kontextfreien Sprache ohne...
Wird als reguläre Sprache klassifiziert?L = {ein∗b∗}}L={a∗b∗}L = \{a^* b^*\} Ich bin verwirrt, weil ich weiß, dass nicht regulär ist. Welchen Unterschied macht der Kleene-Stern?L = {einnbn}}L={anbn}L = \{a^n
Ich möchte beweisen, dass regulär ist, wenn regulär ist, aber ich komme anscheinend nicht weiter. Wenn möglich, hoffte ich auf einen Hinweis, um mich in die richtige Richtung zu bringen. Danke für deine Hilfe.L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\}LLL Meine Idee, um die Regelmäßigkeit der...
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Diese Sprache ist eindeutig endlich, daher muss dies eine reguläre Sprache sein. Jetzt, da jede reguläre Sprache kontextsensitiv ist,L.LList eine CSL. Wir können die Grammatik für definierenL.LL wie : S.→ ϵS→ϵS\rightarrow \epsilon Jetzt seit L.LList...