Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen Fragebogen kennt, der die Eigenschaften dieser Sprachen beschreibt. Das meiste, was ich mir anschaue, ist …
Kann jemand ein Beispiel für zwei äquivalente (die gleiche Sprache erkennende) nicht deterministische Minimalautomaten (NFA) nennen, die nicht isomorph sind?
Angenommen, man hat eine Sprache , aber man weiß nicht, welche Zeichenfolgen tatsächlich Teil der Sprache sind. Alles, was man hat, ist eine endliche Sicht auf die Sprache: eine endliche Menge von Strings , von denen bekannt ist, dass sie in der Sprache sind, und eine endliche Menge von Strings …
Ich suche eine Sprache L mit folgenden Eigenschaften: L sollte nicht kontextfrei sein. Ls Komplement sollte nicht kontextfrei sein. (Alles, was Sie in Lehrbüchern als Paradebeispiele für nicht kontextfreie Sprachen sehen, scheint diese zweite Anforderung nicht zu erfüllen.) L sollte nicht zu schwer sein. Zum Beispiel weiß ich, dass unentscheidbare …
Dies ist wahrscheinlich ziemlich einfach, aber betrachten Sie das Standard-Post-Korrespondenz-Problem: Gegeben und β 1 , ... , β N , findet sie eine Folge von Indizes i 1 , ... , i K , so dass & agr; i 1 ⋯ α i K = β i 1 ⋯ β …
Ich habe diese Frage aus dem Stackoverflow verschoben, wo id keine Antworten erhielt. Wir hatten eine ähnliche Frage, ob JSON regelmäßig ist : JSON und XML werden häufig als kontextfreie Sprachen bezeichnet - beide werden hauptsächlich durch eine formale Grammatik in EBNF spezifiziert. Dies gilt jedoch nur für JSON gemäß …
Es ist bekannt , dass das Komplement {ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} kontextfrei ist. Aber was ist das Komplement {www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} ?
Eine Reihe von Wörtern über einem endlichen Alphabet ist ohne Präfix, wenn es keine zwei unterschiedlichen Wörter gibt, bei denen eines ein Präfix des anderen ist. Die Frage ist: Wie komplex ist es zu prüfen, ob eine als NFA angegebene reguläre Sprache eine unendliche Präfix-freie Teilmenge enthält? Antwort (aufgrund von …
Let eine Sprache und sein eine Funktion von zwei Parametern mit der Eigenschaft , dass für alle und , kehrt ein Element der genau dann, wenn sowohl als auch Elemente von :f : & Sigma; ⋆ × & Sigma; ⋆ → & Sigma; ⋆ x y f L x y …
Ein Vector Addition System (VAS) ist eine endliche Menge von Aktionen . ist der Satz von Markierungen . Ein Lauf ist ein nicht-leeres Wort von Markierungen st . Wenn ein solches Wort existiert sagen wir , dass ist erreichbar von .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m n ∀ …
Betrachten Sie das folgende Problem: Entscheiden Sie bei zwei Strings x, y, ob ein String-Homomorphismus f existiert, so dass f (x) = y ist. Es ist leicht zu zeigen, dass dieses Problem in . Gibt es noch andere Dinge, die wir zu diesem Problem sagen können? zB Ist es in …
Ich verstehe die folgenden Behauptungen als wahr: Zwei unterschiedliche Ableitungen eines Strings in einem bestimmten CFG können dem String manchmal denselben Analysebaum zuordnen. Wenn in einem bestimmten CFG Ableitungen eines Strings vorhanden sind, die unterschiedliche Analysebäume zuordnen, ist das CFG nicht eindeutig. Einige kontextfreie Sprachen, die durch mehrdeutige CFGs generiert …
EDIT (von Tara B): Ich wäre immer noch an einem Hinweis auf einen Beweis dafür interessiert , da ich ihn selbst für meine eigene Arbeit beweisen musste. Ich suche nach dem Beweis von Satz 4, der in diesem Artikel erscheint: Eine unendliche Hierarchie von Schnittpunkten kontextfreier Sprachen von Liu und …
Diese Frage bezieht sich auf eine aktuelle Frage von Janoma . Hintergrund In Constraint - Programmierung, ein regelmäßiger globaler constraint ccc über einen Domain - DDD ist ein Paar (s,M)(s,M)(s, M) mit sss einem Tupel von Variablen (der Umfang) , und MMM ein DFA über die Domäne DDD . Eine …
Das folgende Problem ist entscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Das folgende Problem ist unentscheidbar: Bei einer kontextfreien Grammatik ist L ( G ) = A * ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Gibt es eine Charakterisierung kontextfreier Sprachen mit entscheidbarer Gleichheit L ( …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.