Als «pushdown-automata» getaggte Fragen

In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige...

Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch. Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die...

Ist der folgende Sprachkontext frei? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Wie von sdcvvc hervorgehoben, kann ein Wort in...

Bei einer kontextfreien Grammatik G existiert ein nicht deterministischer Pushdown-Automat N, der genau die Sprache akzeptiert, die G akzeptiert. (und umgekehrt) Es kann auch einen deterministischen Pushdown-Automaten D geben, der genau die Sprache akzeptiert, die auch G akzeptiert. Es kommt auf...

Ich frage mich , ob dies überhaupt möglich ist, da . Daher könnte ein PDA, der ein Wort vom Rest von es genauso gut akzeptieren , was für mich widersprüchlich klingt.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}{ a ∗ b ∗ c ∗...

Das Problem, ob zwei Pushdown-Automaten dieselbe Sprache erkennen, ist nicht zu entscheiden. Das Problem, ob ein Pushdown-Automat die leere Sprache erkennt, ist entscheidbar, daher ist es auch entscheidbar, ob er eine bestimmte endliche Sprache erkennt. Es ist nicht zu entscheiden, ob die von einem...

Ich erkenne, dass nicht deterministische Pushdown-Automaten eine Verbesserung gegenüber deterministischen darstellen können, da sie unter mehreren Zuständen "wählen" können und es einige kontextfreie Sprachen gibt, die von einem deterministischen Pushdown nicht akzeptiert werden können. Trotzdem...

Apropois zu Raffaels Vorschlag zum Schnittpunkt zweier NPDAs : Sei und NPDA für die kontextfreien Sprachen bzw. . Unter der Annahme, dass wir wissen, dass kontextfrei ist, können wir NPDA für (effektiv) konstruieren ?EIN1EIN1A_1EIN2EIN2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L = L_1 \cap L_2EINEINALLL...

Ich möchte einen von einem Benutzer eingegebenen regulären Ausdruck in einen NFA konvertieren, damit ich den NFA dann zu Übereinstimmungszwecken für eine Zeichenfolge ausführen kann. Was ist die minimale Maschine, die verwendet werden kann, um reguläre Ausdrücke zu analysieren? Ich gehe davon aus,...

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

Ich bin festgefahren, die nächste Übung zu lösen: Argumentieren Sie, dass, wenn kontextfrei und regulär ist, (dh der richtige Quotient ) ist kontextfrei.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Ich weiß, dass es einen PDA geben sollte,...

Gibt es Regeln oder Methoden, um eine kontextfreie Grammatik in Push-Down-Automaten umzuwandeln? Ich habe bereits einige Folien online gefunden , konnte sie aber nicht verstehen. In Folie 10 spricht er über einige Regeln. Kann jemand das

Es sei eine Eingabezeichenfolge als . Befindet sich eine NFA derzeit im Zustand (und hat die Eingabe bis zum Alphabet ), teilt sich die NFA vor dem Lesen des nächsten Eingabesymbols in zwei NFA auf, von denen sich eine im Zustand und die andere in , wenn ein Übergang von der Typ . Wenn es einen...

Ist die Sprache L = { 0 n 1 m ∣ n  und  m  sind co-prime }L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} kontextfrei? Ich denke, dass es nicht kontextfrei ist, weil es für einen PDA zu kompliziert erscheint, um zu entscheiden, ob zwei Zahlen Co-Prime sind...

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

Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \}...

Definieren Sie die Nerode-Äquivalenz über eine Sprache als iff für jedes . U ~ L v u w ∈ L ⇔ v w ∈ L w ∈ & Sigma; *L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vu w ∈ L ⇔ v w ∈ L.uw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw ∈ & Sigma;∗w∈Σ∗w \in \Sigma^{*} Die Nerode-Äquivalenz hat genau...

Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie...

Ich habe lange versucht, eine Konstruktion zu finden, damit ich formal nachweisen kann, dass ein deterministischer PDA unter Ergänzung geschlossen ist. Es kommt jedoch vor, dass jede Idee, die ich habe, etwas hat, das am Ende nicht passt. Könnten Sie mir helfen? Das Hauptproblem tritt bei den...

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