Computerwissenschaften pushdown-automata

1

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 …

8 formal-languages context-free closure-properties pushdown-automata nondeterminism

3

Zeigen Sie, dass DPDA aufgrund von Bauarbeiten geschlossen ist

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 ε-Bewegungen auf . …

8 formal-languages automata closure-properties pushdown-automata

2

Myhill-Nerode-Stil Charakterisierung von CFL?

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 ∈ & …

8 formal-languages context-free pushdown-automata

1

Papier mit dem Beweis, dass nicht deterministisch kontextfrei ist?

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

8 formal-languages reference-request automata pushdown-automata nondeterminism

1

Ist die Sprache

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, …

8 formal-languages context-free pumping-lemma pushdown-automata

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 …

8 formal-languages automata closure-properties pushdown-automata

2

Wie zeige ich, ob ein PDA eine Zeichenfolge akzeptiert

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 Grammatiken dieselbe Sprache akzeptieren. Ich bin mir jedoch …

8 formal-languages automata context-free undecidability pushdown-automata

2

Ist {a ^ n (a + b) ^ n | n> 0} eine deterministische CFL?

L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Ein Buch, das ich lese, sagt es ist, aber wenn man bedenkt, dass wir nicht wissen können, wo der zweite Teil beginnen wird, und es könnte auch mit einem beginnen, wie können wir dies dann mit einem DPDA akzeptieren? Wie können wir nach …

8 formal-languages automata context-free pushdown-automata

3

Warum verwenden Pushdown-Automaten einen Stapel?

Ich nehme an einem Computertheoriekurs teil und mein Professor sagte uns, dass ein Pushdown-Automat keine anderen Datenstrukturen als einen Stapel (wie eine Warteschlange oder mehrere Stapel) verwenden kann. Warum ist das so?

7 automata pushdown-automata computation-models

1

beweisen, dass kein DPDA die Sprache von Palindromen mit gerader Länge akzeptiert

Wie beweisen Sie, dass die Sprache der gleichlangen Palindrome, dh L={wwR∣w∈{0,1}∗}L={wwR∣w∈{0,1}∗}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\}, kann von einem bestimmten Push-Down-Automaten nicht akzeptiert werden? Gibt es eine allgemeine Möglichkeit zu beweisen, dass eine kontextfreie Sprache von einem deterministischen PDA nicht akzeptiert werden kann? Ich meine vielleicht so etwas …

7 context-free pushdown-automata

1

Konvertieren einer kontextfreien Grammatik in einen PDA - ist meine Lösung korrekt?

Ich überprüfe meine Halbzeit und wollte dies posten, um zu sehen, ob jemand Fehler erkennen kann. Ich soll einen PDA machen, der diese CFG erkennt: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Hier ist meine Lösung; Mir ist bewusst, dass ich vergessen habe, den …

7 formal-languages automata context-free pushdown-automata

Als «pushdown-automata» getaggte Fragen