Als «context-sensitive» getaggte Fragen

1
Maschinen für kontextfreie Sprachen, die durch Nichtdeterminismus keine zusätzliche Kraft erhalten
Bei der Betrachtung von Rechenmodellen für Maschinen wird die Chomsky-Hierarchie normalerweise durch (in der Reihenfolge) endliche Automaten, Push-down-Automaten, linear gebundene Automaten und Turing-Maschinen charakterisiert. Für die erste und letzte Ebene 1 (reguläre Sprachen und rekursiv aufzählbare Sprachen) spielt es für die Leistungsfähigkeit des Modells keine Rolle, ob deterministische oder nicht …
4
Kann jemand ein einfaches, aber nicht spielerisches Beispiel für eine kontextsensitive Grammatik geben?
Ich versuche, kontextsensitive Grammatiken zu verstehen. Ich verstehe, warum Sprachen mögen {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} sind nicht kontextfrei, aber was würde ich gerne wissen, wenn eine Sprache, die der untypisierten Lambda-Rechnung ähnelt, kontextsensitiv ist? Ich würde gerne ein Beispiel für ein einfaches, aber nicht-spielerisches …
2
Sind alle kontextsensitiven Sprachen entscheidbar?
Ich habe die Wikipedia-Definition der kontextsensitiven Sprache durchgearbeitet und Folgendes gefunden: Jede Kategorie von Sprachen ist eine richtige Untermenge der Kategorie direkt darüber. Jeder Automat und jede Grammatik in jeder Kategorie hat einen entsprechenden Automaten oder eine entsprechende Grammatik in der Kategorie direkt darüber. Ich konnte sehen, dass der linear …
4
Eine Sprache in NSPACE (O (n)) und sehr wahrscheinlich nicht in DSPACE (O (n))
Tatsächlich habe ich festgestellt, dass die Menge der kontextsensitiven Sprachen ( akzeptierte Sprachen) nicht so häufig diskutiert wird wie (reguläre Sprachen). oder (kontextfreie Sprachen). Und auch das offene Problem ist nicht so berühmt wie das "analoge" Problem: " ".CSLCSL\mathbf{CSL}=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA}REGREG\mathbf{REG}CFLCFL\mathbf{CFL}DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))}P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} Gibt es wirklich eine solche …
3
Kontextsensitive Grammatik für die Sprache der mit sich selbst verketteten Wörter
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die "Mitte" des Wortes angibt. Gibt es einen Trick …
1
Kann es ein kontextsensitives Pump-Lemma geben?
Es ist bekannt, dass eine "Pump" -Eigenschaft (Wörter einer bestimmten Länge implizieren das Vorhandensein von Schleifen im sprachdefinierenden Mechanismus) für reguläre und kontextfreie Sprachen und einige weitere (normalerweise verwendet, um die Zugehörigkeit einer Sprache zu einer bestimmten Klasse zu widerlegen) existiert ). In der Diskussion um diese Frage deutet Daisys …
1
Gibt es ein Beispiel für eine rekursive Sprache, die nicht kontextsensitiv ist?
Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von einer universellen Turing-Maschine (UTM) akzeptiert wird, als prototypisch oder rekursiv aufzählbar. …
1
Wie kann man beweisen, dass kontextsensitive Sprachen unter Überschneidung und Ergänzung geschlossen sind?
Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den kontextsensitiven Schließungseigenschaften Wikipedia und princeton.edu . Ich weiß, dass diese …
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.