Als «closure-properties» getaggte Fragen

Fragen zu Operationen an Objekten, die zu Objekten derselben Art führen.

4
Wenn
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 sind ... Also suche ich nach einem …
1
Sind DCFLs unter Umkehrung geschlossen?
Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand (seit dem neuer Anfangszustand würde einen Nullübergang zu allen …
1
Gibt es eine streng nicht deterministische Ein-Zähler-Sprache, deren Komplement Ein-Zähler ist?
Sei A = {L ∣ L.ist ein Zähler und L.¯ ist auch ein Zähler }EIN={L.∣L.ist ein Zähler und L.¯ ist auch ein Zähler}}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Es ist klar, dassDeterministischer Einzähler ⊆ A.Deterministischer Einzähler⊆EIN\text{Deterministic one-counter} \subseteq A Ist es der Fall, dass …
3
Der Nachweis, dass die Sprache, die aus allen Zeichenfolgen in einer Sprache besteht, dieselbe Länge hat wie eine Zeichenfolge in einer anderen Sprache, ist normal
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …
1
Nachweis der Schließung unter Ergänzung von Sprachen, die von Min-Heap-Automaten akzeptiert werden
Dies ist eine Folgefrage von dieser . In einer früheren Frage zu exotischen Zustandsautomaten haben Alex ten Brink und Raphael die Rechenfähigkeiten einer besonderen Art von Zustandsmaschine angesprochen: Min-Heap-Automaten. Sie konnten zeigen, dass die von solchen Maschinen akzeptierte Menge von Sprachen ( ) weder eine Teilmenge noch eine Obermenge der …
2
Myhill-Nerode und Verschlusseigenschaften
Es ist bekannt, dass reguläre Sprachen durch die Myhill-Nerode-Äquivalenz gekennzeichnet sind. Für die Sprache über definieren die Äquivalenz über iff für alle Wir haben . Dann ist regulär, wenn endlichen Index hat, dh eine endliche Anzahl von Äquivalenzklassen hat.LLLΣ∗Σ∗\Sigma^*x∼Lyx∼Lyx\sim_L yΣ∗Σ∗\Sigma^*z∈Σ∗z∈Σ∗z\in\Sigma^*xz∈L⟺yz∈Lxz∈L⟺yz∈Lxz\in L \iff yz\in LLLL∼L∼L\sim_L Ich weiß, dass die Beziehung verwendet …
1
Ist der Verschluss von P unter e-freien Homomorphismen gleich NP?
Die kontextfreien Sprachen können als Abschluss der Dyck-Sprache unter den Kegeloperationen erhalten werden . Die Dyck-Sprache ist eine deterministische kontextfreie Sprache, und die Kegeloperationen entsprechen den Operationen, die von nichtdeterministischen Finite-State-Wandlern implementiert werden können. Dieses Ergebnis wird weniger überraschend, wenn man bedenkt , dass nicht deterministische transduktor liefern können Zertifikate …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
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 sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.