Als «regular-languages» getaggte Fragen

Fragen zu den Eigenschaften der Klasse der regulären Sprachen und der einzelnen Sprachen.

1
Überschneidung des Kontexts frei mit regulären Sprachen
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte Sprache enthält Zeichenfolgen, die sowohl von einem PDA als auch von …
3
Unendliche Sprache vs. endliche Sprache
Mir ist nicht klar, wie die Ausdrücke "unendliche" Sprache oder "endliche" Sprache in der Computertheorie verwendet werden. Ich denke , die Wurzel des Übels ist , dass eine Sprache wie L={ab}∗L={ab}∗L=\{ab\}^* ist unendlich in dem Sinne , dass es eine unendliche erzeugen kann (aber zählbare) Anzahl der Saiten. Dennoch kann …
1
Ermittlung der maximalen Faktorisierung regulärer Sprachen
Lassen Sie die Sprache L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* regelmäßig. Eine Faktorisierung von LL\mathcal{L} ist ein maximales Paar (X,Y)(X,Y)(X,Y) von Wortmengen mit X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , wobei X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅Y′⊆LX′⋅Y′⊆LX'\cdot Y' \subseteq …
2
Abschluss gegen rechten Quotienten mit einer festen Sprache
Ich würde mich sehr über Ihre Hilfe bei Folgendem freuen: Für jedes feste L2L2L_2 ich entscheiden, ob es einen Abschluss unter den folgenden Operatoren gibt: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} Die relevanten Optionen sind: Reguläre …
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.