ทุกภาษามีความอ่อนไหวต่อบริบทหรือไม่

12

ฉันกำลังอ่านข้อกำหนดของ Wikipedia เกี่ยวกับภาษาที่คำนึงถึง บริบทและฉันพบสิ่งนี้:

แต่ละหมวดหมู่ของภาษาเป็นกลุ่มย่อยที่เหมาะสมของหมวดหมู่ข้างบน ออโตเมติกใด ๆ และไวยากรณ์ใด ๆ ในแต่ละหมวดหมู่นั้นมีออโตมาตาหรือไวยากรณ์ที่เทียบเท่าในหมวดหมู่ข้างบน

ฉันเห็นว่าหุ่นยนต์เชิงเส้นตรงมีค่าต่ำกว่า decider ในการเรียงลำดับของบทความ หากเป็นกรณีนี้หมายความว่าการคำนวณ LBA ทุกครั้งจะหยุดในบางจุด (เนื่องจาก LBA ทุกรายการจะเป็น decider) แต่ฉันรู้สึกว่าอาจมีการคำนวณบางอย่างที่สามารถทำงานบน LBA ในเวลาเดียวกันไม่เคยหยุด ตัวอย่างเช่นเราสามารถเขียนการคำนวณบน LBA ซึ่งจะ

อ่านสัญลักษณ์แรกบนเทปแล้วเลื่อนไปทางขวา
อ่านสัญลักษณ์ถัดไปและเลื่อนไปทางซ้าย

การคำนวณแบบไร้ประโยชน์นี้ (ซึ่งเห็นได้ชัดว่าเป็นการคำนวณแบบ LB) จะทำงานแบบสั่นซ้ายและขวาอย่างไม่มีกำหนดและไม่หยุดและด้วยเหตุนี้จึงไม่สามารถเป็นตัวตัดสินใจ ฉันคิดผิดอยู่ที่ไหน

— bongubj
แหล่งที่มา

1

ตัดสินใจ CSL เป็นอิสระจากว่ามีไม่ใช่ยุติ LBA: มีเพียงมีอยู่ LBA สำหรับมัน

— ราฟาเอล

9

ก่อนอื่นภาษาที่ไวต่อบริบททั้งหมดนั้นสามารถตัดสินใจได้เนื่องจาก LBA สามารถยอมรับได้ (ดังที่คุณพูด) และเครื่องทัวริงนั้นทรงพลังกว่า LBA

$M$ $M'$ $M$ $M'$

— A.Schulz
แหล่งที่มา

หากใครยังไม่เข้าใจคำตอบนี้ฉันขอแนะนำให้คุณดู Slide 3-4 ของงานนำเสนอนี้สำหรับคำอธิบายเพิ่มเติม

— bongubj

0

ฉันขอแนะนำให้คุณดูที่หนังสือเล่มนี้: รู้เบื้องต้นเกี่ยวกับภาษาและทฤษฎีการคำนวณโดย John E Martin

หน้า 283: ยังมีคำถามเปิดที่เกี่ยวข้องกับภาษาที่คำนึงถึงบริบทเช่น CSL LOC ที่กำหนดได้หรือไม่

— Amir Nikabadi
แหล่งที่มา

คำถามนี้จะตอบคำถามได้อย่างไร ภาษาที่มีความอ่อนไหวต่อบริบทนั้นสามารถตัดสินใจได้ทั้งหมดโดยไม่คำนึงว่าคุณต้องการพื้นที่เชิงเส้นแบบกำหนดค่าหรือไม่เชิงเส้น

— Yuval Filmus