1
หลักฐานใหม่ของการปั๊มบทแทรกสำหรับภาษาปกติ
ให้LL\mathcal{L}เป็นตระกูลของทุกภาษาเหนือทำให้ทรัพย์สินที่สูบนั้นเป็นภาษาที่น่าพึงพอใจ คือ: สำหรับแต่ละมีทุกคำ ,สามารถเขียนในรูปแบบ โดยที่: 1 , 2.ΣΣ\SigmaL∈LL∈LL\in\mathcal{L}N∈NN∈NN\in\mathbb{N}w∈Lw∈Lw\in L|w|>N|w|>N|w|> Nw=xyzw=xyz w=xyz|y|>0|y|>0|y|>0|xy|≤N|xy|≤N|xy|\le N 3 สำหรับทุกฉัน≥ 0xyiz∈Lxyiz∈Lxy^i z\in Li≥0i≥0i\ge 0 มันคือการออกกำลังกายที่เรียบง่าย [1] เพื่อพิสูจน์ว่ามีภาษาเดี่ยวL = { σ } , σ ∈ Σและปิดให้บริการภายใต้สหภาพเรียงต่อกันและ Kleene ดาว มันก็เป็นที่รู้จักกันดีว่าครอบครัวของภาษาปกติเป็นภาษาที่เล็กที่สุดที่มีซิงเกิลตันและถูกปิดภายใต้สหภาพการต่อกันและดาว Kleene สรุป: ภาษาปกติสนองคุณสมบัติการสูบน้ำLL\mathcal{L}L={σ}L={σ}L=\{\sigma\}σ∈Σσ∈Σ\sigma\in\Sigma คำถาม: มีใครเคยเห็นหลักฐานนี้ในวรรณคดีบ้าง [1] เสนอโดย D. Berend