Aşağıdaki dönüşüm bağlam belirsizliğini koruyor mu?

Bağlamdan bağımsız bir dili değiştirmeyi içeren bu sorunla karşılaştım. İzin Vermek $L$ bağlamsız bir dil olabilir. Her için tanımlayın . Mı daima bağlamdan-bağımsız? Benim tahminim bağlam-kurnazlığı koruyacağıdır. Herkes bunun temel bir kanıtı olabilir mi? $L^{\#} = \{ x : x^i \in L$ $i=0,1,2,...\}$ $L^{\#}$

formal-languages context-free

— guest100008
kaynak

İki sitede bir soru yayınladığınızda, diğer sitedeki soruya bağlantı vererek çapraz yayın hakkında bir yorum bırakırsanız insanlar bunu takdir eder.

— Tara B

Yorum: normal diller için bu doğrudur. Let nedenle, ile DFA vardır her kelime için, daha sonra devletler ise, tüm içindedir , daha sonra , böylece tanıyan bir DFA oluşturabiliriz . Burada DFA'nın sınırlılığının kullanılması iddianın CFL'ler için doğru olmayabileceğini düşündürmektedir.

L \in R E G

$L\in REG$

L

$L$

n

$n$

x

$x$

x, x^{2}, . . ., x^{n + 1}

$x,x^2,...,x^{n+1}$

L

$L$

x \in L^{#}

$x\in L^\#$

L^{#}

$L^\#$

— 13'te

student.cs.uwaterloo.ca/~cs462 Problem seti 7. Ödev etiketini eklemek istedim, ama işe yaramadı (?)

— Hendrik Jan

@HendrikJan Burada ev ödevi etiketi yok gibi görünüyor

— Виталий Олегович

@VitalijZadneprovskij Öyle görünüyor! Çözümün 5 Mart 2013'te bitmesi bekleniyor. Bu yüzden önümüzdeki Çarşamba günü hala gerekli olduğunda cevap vereceğim. Büyük sorun olsa.

— Hendrik Jan

Karşı örnek:

$L_1 = \{a^n b^n c^m \mid m,n \ge 1 \}$

$L_2 = \{a^m b^n c^n \mid m,n \ge 1 \}$

$L = (L_1 \cdot L_2^*) \cup \epsilon$ bağlamdan bağımsızdır.

boş olmayan kelimelerinin öneki . olmalıdır , çünkü nedeniyle , herhangi bir ve doğrudan başarılı bir in ( sonra ) aynı üssü paylaşmalıdır. Bu nedenle: $x \in L^\#$ $p = a^n b^n c^m \in L_1$ $n = m$ $L_2$ $b^+$ $c^+$ $x$ $p$

$L^\# = (\{a^n b^n c^n \mid n \ge 1 \} \cdot L_2^*) \cup \epsilon$ , .

— Simon S
kaynak

Ne söylemek istediğini anladığımdan emin değilim. Gibi bir dize

x = a^{n} b^{n} c^{n} a^{k} b^{k} c^{k}

$x = a^n b^n c^n a^k b^k c^k$ içinde

L^{#}

$L^\#$ Çünkü

a^{n} b^{n} c^{n} \in L_{1}, L_{2}

$a^n b^n c^n \in L_1,L_2$ ve

a^{k} b^{k} c^{k} \in L_{2}

$a^k b^k c^k \in L_2$ böylece tüm güçlerini

x

$x$ ile

x^{2} \in L_{1} L_{2} L_{2} L_{2} \subset L

$x^2 \in L_1 L_2 L_2 L_2 \subset L$ ve benzerleri.

— Simon S

Ancak koyduğumu fark ettim

L^{#}

$L^\#$ bir şekilde yanlış.

— Simon S

Gerçekten, bazı dizeleri kaçırıyordum, ancak argümanlarım net değildi, katılıyorum ve muhtemelen yazıldığı gibi yanlıştı. Şimdi bana iyi geliyor. Teşekkürler. Bu yorumu şimdi siliyorum.

— Hendrik Jan