Computerwissenschaften regular-languages

3

Wird als reguläre Sprache klassifiziert?

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 b^n\}

7 formal-languages regular-languages kleene-star

1

Klasse der Sprache, die nur die leere Zeichenfolge enthält?

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 eine CSL, diese Grammatik …

7 formal-languages regular-languages context-sensitive

1

Wenn

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 Quadratwurzelsprache zu demonstrieren, war es, zwei Maschinen zu betrachten, …

7 formal-languages regular-languages finite-automata closure-properties

2

Parikhs Theorem: CFLs "enthalten" reguläre Sprachen?

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 Rücksicht auf ihre Reihenfolge betrachtet." Ich habe Probleme, …

7 formal-languages regular-languages context-free

1

Zeitliche Komplexität regulärer Sprachen

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 Guillermo

7 regular-languages time-complexity

1

Ergebnisse zu den von ungerichteten DFAs erkannten Sprachen

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 \ stackrel {a} {\ …

7 formal-languages reference-request regular-languages finite-automata

1

Ist die Sprache der binären Darstellung perfekter Quadrate regelmäßig?

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ß nicht, wie ich es hier verwenden soll.

7 formal-languages regular-languages

2

Ist dieser Schnittpunkt von DFAs korrekt?

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 DFAs korrekt? EDIT: Ursprünglich schrieb Union; tatsächlich …

7 automata regular-languages finite-automata

1

Beziehung zwischen einfachen und regulären Grammatiken

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? Was ist der Unterschied? Können Sie (nicht deterministische) …

7 regular-languages automata context-free formal-grammars

2

Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

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 …

7 algorithms loop-invariants correctness-proof formal-languages regular-languages pumping-lemma logic logic programming-languages lambda-calculus term-rewriting operational-semantics complexity-theory time-complexity computability proof-techniques reductions digital-preservation distributed-systems storage algorithms dynamic-programming check-my-algorithm reference-request cryptography quantum-computing formal-languages regular-languages context-free formal-grammars algorithms graphs network-flow algorithms data-structures randomized-algorithms lists computability proof-techniques undecidability terminology distributed-systems parallel-computing artificial-intelligence heuristics search-problem algorithms computational-geometry algorithm-analysis asymptotics recurrence-relation mathematical-analysis master-theorem algorithms algorithm-analysis runtime-analysis computability reductions turing-machines formal-languages context-free

Als «regular-languages» getaggte Fragen