การรวมกันของภาษาที่ไม่มีบริบทเป็นสิ่งที่ปราศจากบริบทเสมอหรือไม่?


11

ให้ , , ,จะเป็นในสายลำดับ Nite ภาษาบริบทของแต่ละคนซึ่งเป็นนิยามมากกว่าตัวอักษรที่พบบ่อยΣ ให้Lเป็นสมาชิกของL_1 , L_2 , L_3 , \ จุด ; เช่นL = L_1 \ ถ้วย L_2 \ ถ้วย L_3 \ ถ้วย \L 2 L 3 ...L1L2L3ΣLL1L2L3L=L1L2L3

เป็นกรณีที่Lเป็นภาษาที่ไม่มีบริบทเสมอหรือไม่


มีสองคำถามที่เป็นอิสระส่วนใหญ่ที่นี่ อันแรกนั้นเป็นระดับประถมศึกษา แต่ที่สองก็ตอบได้อย่างง่ายดายด้วย Wikipedia ฉันขอแนะนำให้คุณแก้ไขเพื่อมุ่งเน้นคำถามแรก
Raphael

@ ราฟาเอล: ฉันทำเองก่อนคำแนะนำของคุณ แต่แล้วฉันคิดว่ามันอาจทำให้บางส่วนของคำตอบที่ไร้ประโยชน์
Gigili

@ ราฟาเอล: แก้ไขที่ลบล้างส่วนใหญ่ของสิ่งที่ฉันเขียน! ฉันไม่คิดว่ามันเป็นความคิดที่ดีที่จะ morphing คำถามเช่นนั้นเมื่อมีคำตอบแล้ว
Aryabhata

@Aryabhata: เป็นไปได้หรือไม่ที่จะแก้ไขคำตอบของคุณ? ฉันแก้ไขมันเพื่อป้องกันไม่ให้คำถามง่าย ๆ ในขณะที่เขาพูด! ฉันจะโพสต์คำถามเมตาเกี่ยวกับเรื่องนี้
Gigili

@Gigili: ฉันทำได้ แต่ฉันกำลังพูดในแง่ทั่วไป ลองนึกภาพกรณีที่มีคนทำวิจัยและพยายามเขียนคำตอบโดยละเอียด ตอนนี้คุณเปลี่ยนคำถามที่ทำให้คำตอบนั้นเป็นโมฆะ สำหรับคำถามนี้มันอาจไม่สำคัญจริง ๆ แล้วฉันอาจลบคำตอบของฉันได้เนื่องจากเราจะมีสองคำตอบที่พูดในสิ่งเดียวกันและหนึ่งในนั้นอาจเป็นเสียงรบกวน
Aryabhata

คำตอบ:


20

การรวมกันของภาษาที่ไม่มีบริบทจำนวนมากอาจไม่มีบริบท ในความเป็นจริงของสหภาพมากมายหลายภาษาที่สามารถเป็นอะไรก็ได้ขอให้เป็นภาษาและกำหนดทุก (ที่ จำกัด ) ภาษา\} สหภาพมากกว่าทุกภาษาเหล่านี้คือLภาษาที่มีขอบเขตเป็นปกติ แต่อาจไม่สามารถตัดสินใจได้LlLLl={l}LL

คุณสมบัติปิดภาษาบริบทฟรีสามารถพบได้ในวิกิพีเดีย


ขอบคุณสำหรับคำตอบ. ดังนั้นคำตอบคือ "ไม่"? คุณสามารถให้ตัวอย่างตัวอย่างได้หรือไม่?
Gigili

4
@Gigili: ภาษาเป็นตัวอย่างปกติของภาษาที่ไม่ใช้บริบทและใช้โครงสร้างของฉันเป็นภาษานั้นจริง ๆ แต่ทั้งหมดมีขอบเขต จำกัด และไม่มีบริบท {anbncn|n1}L1={abc},L2={aabbcc},L3={aaabbbccc},Li
Alex สิบ Brink

5
@Gigili คุณควรจะสามารถใช้ภาษาที่ไม่มีบริบทใด ๆ เป็นตัวอย่างเคาน์เตอร์โดยใช้สิ่งที่ Alex เขียน
Raphael

3
อีกวิธีในการทำลายภาษาใด ๆ ก็คือตามความยาวของคำ:\} นี่แสดงให้เห็นว่าแม้การรวมกันของภาษาที่ จำกัด เพิ่มขึ้นก็เพียงพอที่จะอธิบายภาษาใด ๆ L=nN{wL|w|n}
Gilles 'หยุดความชั่วร้าย'

4
"ในความเป็นจริงการรวมกันของภาษาต่าง ๆ เป็นอนันต์สามารถเป็นอะไรก็ได้ " (เน้นเพิ่ม) จริง ๆ แล้วมันอาจเป็นอะไรก็ได้ช่วงเวลาไม่มี "แค่" ตัวอย่างของคุณแสดงให้เห็นว่า การตั้งค่าภาษา / null อาจเป็นปัญหา แต่สหภาพที่ว่างเปล่านั้นใช้ได้ ดังนั้นมันอาจเป็นชุดที่แปลกประหลาดและไม่สามารถคำนวณได้อย่างมากมายเท่าที่คุณต้องการไป มันสามารถตั้งค่าใด ๆ
David Lewis
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.