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


11

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

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


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

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

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

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

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

คำตอบ:


20

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

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


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

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

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

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

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