Ön düzeltme ve son düzeltme altında açık bağlam içermeyen dillerin kapatılması.

Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi? $L$ $ppc(L)$ $L$ $ppc(L)$ $L$ $L$ $L$ $ppc(L)$

Bu tür temel soruların dil teorisinin en parlak döneminde zaten çözülmüş olacağına inanıyorum, ancak uygun bir referans bulamadım.

— Martin Berger
kaynak

Set kesinlikle bağlamdan bağımsızdır, ancak bence doğal olarak belirsiz olabilir: $\mathit{ppc}(L)$ sonra klasik olarak belirsiz belirsiz dili içerir

L = {{bir}^{m} b^{m} c^{n} d | m, n \geq 0} \cup {d {bir}^{m} b^{n} c^{n} | m, n \geq 0},

$L=\{a^mb^mc^nd\mid m,n\geq 0\}\cup\{da^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

Ve bir kanıtlayabilirim

(her ikisi için Ogden Lemma uygulamak zamanki argüman tarafından doğası gereği belirsiz de

İkisini varlığını anlamak için için farklı ağaç

L^{'} = {{bir}^{m} b^{m} c^{n} | m, n \geq 0} \cup {{bir}^{m} b^{n} c^{n} | m, n \geq 0},

$L'=\{a^mb^mc^n\mid m,n\geq 0\}\cup\{a^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

a^{n + n!} b^{n} c^{n}

$a^{n+n!}b^nc^n$

a^{n} b^{n} c^{n + n!}

$a^nb^nc^{n+n!}$

a^{n + n!} b^{n + n!} c^{n + n!}

$a^{n+n!}b^{n+n!}c^{n+n!}$

— Sylvain
kaynak

Teşekkür ederim. Bu benden daha kolaydı. ? Sizce (yeni sembollerle (örn öncesi ve postfixes ayrılmış olmalıdır) olmayan belirsizlik benzer kaybı sergileyen sorunun varyantları

— Martin Berger

{p p c}_{$} (L) = {w $ ∣ \exists w^{'}, w w^{'} \in L} \cup {$ w ∣ \exists w^{'}, w^{'} w \in L}

$\mathit{ppc}_\$(L)=\{w\$\mid\exists w',\,ww'\in L\}\cup\{\$w\mid\exists w',\,w'w\in L\}$

L = {d a^{m} b^{m} c^{n} ∣ m, n \geq 0} \cup {e a^{m} b^{n} c^{n} ∣ m, n \geq 0}

$L=\{da^mb^mc^n\mid m,n\geq 0\}\cup\{ea^mb^nc^n\mid m,n\geq 0\}$

$ a^{n + n!} b^{n + n!} c^{n + n!}

$\$a^{n+n!}b^{n+n!}c^{n+n!}$

{p p c}_{$} (L)

$\mathit{ppc}_\$(L)$

p p c

$\mathit{ppc}$

Evet, böyle bir şey. Bu işe yaramadığından, uygulama alanımı yeniden tasarlamam gerekecek. Girişiniz için çok teşekkürler.

— Martin Berger