บทแทรกสำหรับภาษาที่ไม่มีบริบทกำหนดไว้หรือไม่

ศัพท์เฉพาะการปั๊มสำหรับภาษาปกติสามารถใช้เพื่อพิสูจน์ว่าภาษาบางอย่างไม่ปกติและการปั๊มบทแทรกสำหรับภาษาที่ไม่มีบริบท (พร้อมกับบทแทรกของ Ogden) สามารถใช้เพื่อพิสูจน์ว่าภาษาบางอย่างไม่บริบท

มีการแทรกการสูบน้ำสำหรับการกำหนดภาษาบริบทฟรีหรือไม่ นั่นคือมีบทแทรกคล้ายกับบทแทรกที่สามารถใช้เพื่อแสดงว่าภาษาไม่ใช่ DCFL หรือไม่? ฉันอยากรู้อยากเห็นเพราะเกือบทั้งหมดของเทคนิคการพิสูจน์ที่ฉันรู้ว่าแสดงให้เห็นว่าภาษาไม่ใช่ DCFL นั้นซับซ้อนและฉันหวังว่าจะมีเทคนิคที่ง่ายกว่านี้

มีเป็นสูบแทรกเฉพาะสำหรับ DCFL ภายใต้ชื่อ "A สูบน้ำแทรกสำหรับตายตัวบริบทเรียนภาษาฟรี" โดย Sheng Yu; การประมวลผลข้อมูลตัวอักษรที่ 31 (1989) 47-51 ดอย10,1016 / 90108-70020-0190 ด้วยชื่อที่ชัดเจนนี้ฉันต้องขอโทษที่ฉันพลาดไป!

โชคไม่ดีที่สำเนาออนไลน์มีจุดที่ว่างอยู่ในสูตรหนึ่งดังนั้นฉันหวังว่าฉันจะสร้างผลลัพธ์ได้อย่างถูกต้อง ด้านล่างเป็นสัญลักษณ์แรกของ (เมื่อมีอยู่) หรือ (ถ้า )${}^{(1)}y$$y$$\varepsilon$$y=\varepsilon$

บทแทรก 1 (ปั๊มเล็มม่า) ให้เป็น DCFL จากนั้นจะมีค่าคงที่สำหรับเช่นนั้นสำหรับคู่ของคำใด ๆ if$L$$C$$L$$w,w'\in$

(1) [?] และ ,และ$w=xy$$w'=xz$$|x|>C$

(2) , [?]${}^{(1)}y = {}^{(1)}z$

ถ้าอย่างนั้น (3) หรือ (4) เป็นจริง:

(3) มีตัวประกอบ ,และเช่นนั้นสำหรับ$x=x_1x_2x_3x_4x_5$$|x_2x_4|\ge 1$$|x_2x_3x_4|\le C$$i\ge 0$ $x_1x^i_2x_3x^i_4x_5y$และ อยู่ใน ;$x_1x^i_2x_3x^i_4x_5z$$L$

(4) มี factorizations ,และ , และเช่นนั้นสำหรับ$x=x_1x_2x_3$$y=y_1y_2y_3$$z=z_1z_2z_3$$|x_2|\ge 1$$|x_2x_3|\le C$$i\ge 0$ $x_1x^i_2x_3y_1y^i_2y_3$และอยู่ในL$x_1x^i_2x_3z_1z^i_2z_3$$L$

แอปพลิเคชันของ Lemma ได้รับสอง:เช่นเดียวกับ{ w ∈ { a , b } ∗ ∣ w = u v , | คุณ| = | v | ,  และ โวลต์ มี $\{ a^ib^i \mid i\ge 0 \} \cup \{ a^ib^{2i} \mid i\ge 0 \}$$\{ w\in\{a,b\}^* \mid w=uv, |u|=|v|, \mbox{ and } v \mbox{ contains an } a \}$ไม่ใช่ DCFL หลักฐานใช้ข้อเท็จจริงที่ว่า DCFL แต่ละอันมีไวยากรณ์ LR (1) ในรูปแบบปกติของ Greibach