Contoh bahasa bebas non-konteks yang tetap BISA dipompa?


15

Jadi pada dasarnya L memenuhi kondisi lemma pemompaan untuk CFL tetapi bukan CFL (itu mungkin menurut definisi lemma).


Apakah ini pertanyaan pekerjaan rumah, atau Anda hanya ingin tahu?
Yuval Filmus

Ini bukan pekerjaan rumah tetapi saya berharap melihatnya dalam ujian (hanya firasat, mengenal profesor saya). Dan saya selalu penasaran :)
user2329564

2
Kami memiliki pertanyaan serupa, tetapi untuk bahasa reguler . Jenis konstruksi yang sama berlaku: ambil simbol khusus dan pertimbangkan $ K { $ kk 1 } { a , b } untuk bahasa yang tidak menyenangkan K { a , b } . $$K{$kk1}{a,b}K{a,b}
Hendrik

Jawaban:


13

Contoh klasiknya adalah . Wise menunjukkan dalam makalahnya Sebuah lemma pemompaan yang kuat untuk bahasa bebas konteks bahwa baik Bar-Hillel yang memompa lemma atau teorema Parikh (yang menyatakan bahwa rangkaian panjang kata dalam bahasa bebas konteks adalah semi-linear) dapat digunakan untuk membuktikan bahwa L tidak bebas konteks. Trik lain seperti bersinggungan dengan bahasa biasa juga tidak membantu. (Lemma Ogden, generalisasi dari lemma pemompaan Bar-Hillel, memang membuktikan bahwa LL={aibjck:i,j,k all different}LLtidak bebas konteks.) Ia juga menyediakan lemma pemompaan alternatif yang setara dengan kehalusan konteks (untuk bahasa yang dapat dihitung), dan menggunakannya untuk membuktikan bahwa tidak bebas konteks.L

Lemma pemompaan Wise menyatakan bahwa bahasa bebas konteks jika dan hanya jika ada (tidak dibatasi) tata bahasa menghasilkan G L dan bilangan bulat k sehingga setiap kali G menghasilkan "bentuk sentimental" s (sehingga s dapat mencakup non-terminal) panjang | s | > k , kita dapat menulis s = u v x y z di mana x , v y tidak kosong, | v x y | kLGLkGss|s|>ks=uvxyzx,vy|vxy|k, dan ada non-terminal sehingga G menghasilkan u A z dan A menghasilkan v A y dan x .AGuAzAvAyx

Dengan berulang kali menerapkan kondisi dalam lemma, Wise dapat membuktikan bahwa tidak bebas konteks, tetapi detailnya agak rumit. Dia juga memberikan kondisi setara yang lebih rumit, dan menggunakannya untuk membuktikan bahwa bahasa { a n b a n m : n , m > 0 } tidak dapat ditulis sebagai persimpangan terbatas dari bahasa bebas konteks.L{anbanm:n,m>0}

Jika Anda tidak dapat mengakses kertas Wise (di balik paywall), ada versi yang diketik yang keluar sebagai laporan teknis universitas Indiana.


Bahasa bebas-konteks yang memenuhi kondisi pemompaan lemma Ogden diberikan oleh Johnsonbaugh dan Miller, Kebalikan dari memompa lemma , dan dikaitkan di sana dengan Boasson dan Horvath, Pada bahasa yang memuaskan lemma Ogden . Bahasa yang dimaksud adalah Kita dapat menulisL=L1L

L=n1(e+a+d+)n(e+b+d+)n(e+c+d+)n(a+b+c+d)ΣΣ(a+b+c+e)Σ(ed+d(a+b+c)+(a+b+c)e)Σ.
, sesuai dengan dua garis yang berbeda. Perhatikan bahwa L 1L 2 = dan bahwa L 2 adalah teratur. Lemma Ogden dapat digunakan untuk membuktikan bahwa L 1 tidak bebas konteks, dan begitu juga L , tetapi tidak dapat digunakansecara langsunguntuk menunjukkan bahwa L tidak bebas konteks.L=L1L2L1L2=L2L1LL

Bukankah perlu setidaknya satu produksi yang terlihat seperti ini: A -> sententialForm1 A sententialForm2 untuk memungkinkan pemompaan
user2329564

Yah lebih umum: bukankah diperlukan untuk B nonterminal untuk menjadi bagian dari bentuk sentensial yang dapat diturunkan dari A sehingga B-> sententialForm1.B.sententialfrom2 adalah produksi G. Jika tidak, bagaimana bisa dipastikan bahwa sebuah kata dari panjang sewenang-wenang dapat dipompa dari A.
user2329564

Saya tidak mengerti mengapa, kami memiliki produksi , yang sesuai dengan pemompaan. Misalnya, Anda segera memulihkan lemma pemompaan sejak S u A z u v i A y i z u v i x y i z . A+vAySuAzuviAyizuvixyiz
Yuval Filmus

4
Kedengarannya seperti tambahan yang bagus untuk referensi kami .
Raphael

Hal lain yang hilang adalah penutupan di bawah "pemetaan gsm terbalik", lihat planetmath.org/generalized followingentialmachine . Mungkin saya akan menambahkan ini di beberapa titik.
Yuval Filmus

8

Lebih sederhana: . Selalu dapat memompa a ; persimpangan dengan teratur L ( a b + c + d + ) memberikan non-CFL (dan yang dapat dibuktikan dengan memompa lemma).{ambncndn:m1,n1}aL(ab+c+d+)


1
Ini akan menjadi tambahan yang bagus untuk pekerjaan rumah ketiga ... muahaha
Renato Sanhueza

1
aaa0

abpcpdpv=a, u=w=x=ε, y=bpcpdp. Then, for i=0, uviwxiy is not in the language, as it doesn't start with an a, so the lemma doesn't hold.
potestasity

2

A simple language is {abncndn:n1}L(aa+b+c+d+). Intersect with L(ab+c+d+) to get a clearly non-CFL, but you can always pump the a, and mimetize the equal-length-ness in the sea of +.


Wise's example is (apparently) immune to these techniques as well, or so he claims.
Yuval Filmus

4
@YuvalFilmus, so it seems. But my example is immune to professors doubting you understood Wise's paper, or wanting a complete proof that it isn't a CFL in the 2-hour limit of the exam ;-)
vonbrand
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.