Als «formal-languages» getaggte Fragen

Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs...

Jemand fragte nach Beispielen für kontextfreie Sprachen mit nicht kontextfreien Ergänzungen . Die erste Antwort lautet: Die Sprache L.1= { w w ∣ w ∈ { a , b}}∗}}L.1={ww∣w∈{ein,b}}∗}}L_1= \{ww \mid w \in \{a,b\}^*\}ist nicht kontextfrei (wie mit dem Pump-Lemma gezeigt werden kann; siehe hier )....

Definieren Sie für eine Sprache : L.LLN.E.( L ) = { x ∈ L : x  ist nicht das richtige Präfix einer Zeichenfolge in  L }NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Ich versuche zu zeigen, dass kontextfreie...

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...

Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von...

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

Turings Ziel beim Aufbau seines Konzepts war es, zu formalisieren, wie Menschen abstrakt argumentieren. Korrigieren Sie mich jetzt, wenn ich falsch liege, aber diese Argumentation scheint nur eine Übung zu sein, bei der Sie eine Reihe formaler Anweisungen manipulieren, dh Zeichenfolgen ohne...

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...

Ich lerne zurzeit formale Sprachen. In meinem Vortrag heißt es, dass die Wörter einer Sprache zwar endlich sind, die mit der zugrunde liegenden Grammatik aufgebauten Sätze jedoch nicht. Aber ich verstehe nicht, warum dies allgemein wahr sein sollte. Ich kann mir eine Grammatik vorstellen, die mir...

Brzozowkis Algorithmus wird häufig zitiert. Einige Fragen geben hier Beispiele oder diskutieren ihre Komplexität. Aber ich konnte keinen Beweis für die Richtigkeit des Algorithmus finden. Wie beweisen wir es richtig? Jeder Beweis, der CS-Studenten zugänglich ist, wäre sehr