Sebuah lemma yang memompa untuk bahasa bebas konteks-deterministik?


11

Lemma pemompaan untuk bahasa biasa dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak teratur, dan lemma pemompaan untuk bahasa bebas konteks (bersama dengan lemma Ogden) dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak bebas konteks.

Apakah ada lemma yang memompa untuk bahasa bebas konteks- deterministik ? Yaitu, adakah lemma yang mirip dengan lemma pemompaan yang dapat digunakan untuk menunjukkan bahwa suatu bahasa bukan DCFL? Saya ingin tahu karena hampir semua teknik pembuktian yang saya tahu menunjukkan bahwa bahasa bukan DCFL benar-benar rumit, dan saya berharap ada teknik yang lebih mudah.


2
Ada beberapa pertanyaan terkait yang mungkin atau mungkin tidak relevan.
Raphael

Ilmuwan komputer mungkin sadis, tetapi mereka tidak semuanya masokis yang menggunakan teknik pembuktian yang rumit di mana yang lebih sederhana diketahui ...
vonbrand

1
vonbrand: Tetapi setiap ahli matematika atau ilmuwan komputer mungkin menggunakan teknik pembuktian yang terlalu rumit jika yang lebih sederhana belum diketahui atau tidak diketahui olehnya.
Blaisorblade

Jawaban:


9

Ada adalah sebuah Pumping Lemma khusus untuk DCFL, dengan judul "A Pumping Lemma untuk deterministik Context-Gratis Bahasa", oleh Sheng Yu; Pemrosesan Informasi Surat 31 (1989) 47-51, doi 10.1016 / 0020-0190 (89) 90108-7 . Dengan judul eksplisit ini saya harus minta maaf bahwa saya melewatkannya!

Salinan online sayangnya memiliki tempat kosong di salah satu rumus, jadi saya harap saya merekonstruksi hasilnya dengan benar. Di bawahadalah simbol pertamay(bila ada) atauε(jikay=ε).(1)yyεy=ε

Lemma 1 (Pumping Lemma). Biarkan menjadi DCFL. Lalu ada konstanta C untuk L sehingga untuk setiap pasangan kata w , w jikaL.CL.w,w

(1) [?] Dan w = x z , | x | > C danw=xyw=xz|x|>C

(2) , [?](1)y=(1)z

maka (3) atau (4) benar:

(3) ada faktorisasi , | x 2 x 4 | 1 dan | x 2 x 3 x 4 | C , sedemikian rupa sehingga untuk semua i 0 x 1 x i 2 x 3 x i 4 x 5 y dan x 1 x i 2 xx=x1x2x3x4x5|x2x4|1|x2x3x4|Csaya0 x1x2sayax3x4sayax5y berada di L ;x1x2sayax3x4sayax5zL.

(4) ada faktorisasi , y = y 1 y 2 y 3 dan z = z 1 z 2 z 3 , | x 2 | 1 dan | x 2 x 3 | C , sedemikian rupa sehingga untuk semua i 0 x 1 x i 2 x 3 y 1 yx=x1x2x3y=y1y2y3z=z1z2z3|x2|1|x2x3|Csaya0 danx1x i 2 x3z1z i 2 z3berada diL.x1x2sayax3y1y2sayay3x1x2sayax3z1z2sayaz3L.

Dua aplikasi dari Lemma diberikan: serta { w { a , b } w = u v , | kamu | = | v | ,  dan  v  berisi  a }{Sebuahsayabsayasaya0}{Sebuahsayab2sayasaya0}{w{Sebuah,b}w=kamuv,|kamu|=|v|, dan v berisi sebuah Sebuah}bukan DCFL. Buktinya menggunakan fakta bahwa setiap DCFL memiliki tata bahasa LR (1) dalam bentuk normal Greibach.


Saya harap Anda bisa menggunakannya. Bahkan lebih rumit untuk dinyatakan daripada lemma pemompaan yang dikenal.
Hendrik
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.