Ist eine unäre Sprache mit Polynomkraft kontextsensitiv?

Ich nehme an, dass . $\Sigma = \{a\}$

Beweisen oder widerlegen: Für jedes Polynom mit Koeffizienten in gilt ist eine kontextsensitive Sprache. $p(n)$ $\mathbb{N}$ $L = \{a^{p(n)} \; | \; n \in \mathbb{N}\}$

Es scheint, dass es eine kontextsensitive Sprache ist. Ich denke, LBA oder kontextsensitive Grammatik ist für diese Sprache nicht einfach. Kann ich dies mit der Schließungseigenschaft von CSL zum Beispiel wie Komplement beweisen? Kann mir jemand helfen, zum Beispiel zu beweisen $L_1 = \{a^{n^7+n^5+n^3+n^2+1} | n\in \mathbb{N}\}$ ist kontextsensitiv. Vielleicht kann ich mir daraus eine Idee machen, um meine erste Frage zu beweisen.

formal-languages context-sensitive

— haleh
quelle

Bereits gefragt: cs.stackexchange.com/questions/69508/… .

— Yuval Filmus

Ich konnte seine Frage nicht verstehen, ich habe alle cs.stackexchange.com durchsucht, aber es hat mir nicht geholfen.

— haleh

-1

Nicht wahr für lineare Polynome. Zum Beispiel ließ seine , dann L durch die regelmäßige Grammatik ‚S erzeugt wird -> AAAS | aa '. [es sei denn, Sie meinen "höchstens kontextsensitiv", nicht "genau kontextsensitiv"] $p(n)$ $3n+2$

Die Pumping Lemmas für reguläre und kontextfreie Grammatiken scheinen zu implizieren, dass jede Sprache über einem 1-Buchstaben-Alphabet in eine (nicht unbedingt disjunkte) Vereinigung von Untersprachen zerlegt werden kann, die linearen Polynomen entsprechen. Wenn die Menge der fraglichen linearen Polynome endlich gemacht werden kann (was meiner Meinung nach wahr sein muss, aber ich kann es nicht beweisen oder widerlegen [und ich bin mir nicht sicher, ob es überhaupt wichtig ist] ), dann höher Gradpolynom muss Werte annehmen, die von keinem Polynom in der linearen Menge erreicht werden. In diesem Fall müssen solche Sprachen zumindest kontextsensitiv sein.

Außerdem: Eine Strategie zum Erstellen einer kontextsensitiven Grammatik für eine Polynomsprache über ein Alphabet besteht darin, eine Folge von , von denen jede aufeinanderfolgende 's nimmt und sie für einige in aufeinanderfolgende s Konstanten , [denken Sie an "Horners Methode"] und dann 'Kaskaden' zur nächsten . $k$ $m$ $a$ $b_km+c_k$ $a$ $b_k$ $c_k$

Wenn Sie also "höchstens kontextsensitiv" meinen, dann ja.

— PMar
quelle

Das bedeutet nicht kontextsensitiv (zumindest nicht unter der Standarddefinition). Jede kontextfreie Sprache ist auch eine kontextsensitive Sprache. Die Standarddefinition besagt, dass eine kontextsensitive Sprache ist, wenn es eine kontextsensitive Grammatik für . Es ist nicht erforderlich, dass nicht kontextfrei ist. Vielleicht können Sie den 3. Absatz anpassen, um einen Beweis für die behauptete Aussage zu liefern? Ich bin mir jedoch nicht ganz sicher, was Sie vorschlagen. Wie baut man eine solche Subgrammatik auf?

L

$L$

L

$L$

L

$L$

— DW

Eine unäre Sprache ist regulär, wenn sie kontextfrei ist, wenn die Menge schließlich periodisch ist.

L

$L$

{n : a^{n} \in L}

$\{n : a^n \in L\}$

— Yuval Filmus