มีภาษาที่ไม่มีบริบทที่คลุมเครือและไม่แน่นอนหรือไม่

36

ให้เราเรียกใช้ภาษาที่ไม่มีบริบทถ้าหากมันสามารถได้รับการยอมรับจากหุ่นยนต์แบบกดลงที่กำหนดได้และเป็นอย่างอื่น

ให้เราเรียกภาษาที่ปราศจากบริบทโดยเนื้อแท้ถ้าหากไวยากรณ์ไวยากรณ์ที่ไม่ใช้บริบททั้งหมดที่สร้างภาษานั้นคลุมเครือและไม่คลุมเครือเป็นอย่างอื่น

ตัวอย่างของภาษาที่กำหนดขึ้นมาอย่างไม่แน่นอนคือภาษา: ตัวอย่างของภาษา nondeterministic ไม่กำกวมคือภาษา:

{a^{n} b^{n} \in {a, b}^{*} | n \geq 0}

$\{a^{n}b^{n} \in \{a, b\}^{*} | n \ge 0\}$

{w \in {a, b}^{*} | w = w^{R}}

$\{w \in \{a, b\}^{*} | w = w^{R}\}$

จากวิกิพีเดียตัวอย่างของภาษาที่ไม่มีบริบทที่คลุมเครือโดยเนื้อแท้คือการรวมกันของภาษาที่ไม่ใช้บริบทต่อไปนี้ซึ่งจะต้องปราศจากบริบท:

L = {a^{n} b^{m} c^{m} d^{n} \in {a, b, c, d}^{*} | n, m \geq 0} \cup {a^{n} b^{n} c^{m} d^{m} \in {a, b, c, d}^{*} | n, m \geq 0}

$L = \{a^{n}b^{m}c^{m}d^{n} \in \{a, b, c, d\}^{*} | n, m \ge 0\} \cup \{a^{n}b^{n}c^{m}d^{m} \in \{a, b, c, d\}^{*} | n, m \ge 0\}$

ตอนนี้สำหรับคำถาม:

เป็นที่ทราบกันหรือไม่ว่ามีภาษาที่ปราศจากบริบทซึ่งกำหนดไว้ล่วงหน้าที่กำกวมหรือไม่? ถ้าเป็นเช่นนั้นมีตัวอย่าง (ง่าย) ไหม
เป็นที่รู้กันหรือไม่ว่ามีภาษาที่ไม่มีบริบทแบบ nondeterministic โดยเนื้อแท้หรือไม่? ถ้าเป็นเช่นนั้นมีตัวอย่าง (ง่าย) ไหม

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

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

30

$L$ $L$

ภาษาสามารถอธิบายได้โดยใช้ไวยากรณ์ที่ไม่มีบริบทถ้าหากสามารถจดจำได้โดยหุ่นยนต์อัตโนมัติบางตัว เป็นกรณีพิเศษของเรื่องนี้ไวยากรณ์ที่ปราศจากบริบทที่คลุมเครือโดยเนื้อแท้สามารถถูกแจงโดยหุ่นยนต์ nondeterministic

ในบันทึกสุดท้ายเครื่องกดลงที่กำหนดไว้ใด ๆ ก็เป็น nondeterministic (นี่คือกรณีของสิ่งใดก็ตามที่สามารถเป็น nondeterministic สำหรับคำนิยามที่สมเหตุสมผลของ nondeterminism)

— อเล็กซ์สิบบริงค์
แหล่งที่มา

+1 สำหรับการอ้างอิงสำหรับความจริงที่ว่า CFL ที่กำหนดขึ้นทั้งหมดนั้นไม่ได้คลุมเครือในตัว ในความเป็นจริงที่ตอบคำถามอื่น ๆ เช่น: เนื่องจากมีภาษาที่คลุมเครือโดยเนื้อแท้และมันไม่ได้กำหนดมันจะต้องเป็น nondeterministic (สังเกตเห็นว่าคำจำกัดความของฉันของ nondeterministic CFL ไม่ได้มาตรฐานเพราะมันไม่รวม CFL กำหนดขึ้นนั่นคือความผิดของฉัน สำหรับการใช้คำศัพท์ที่ผิด) คุณได้ยกตัวอย่างคำถาม (2) และแสดงว่าคำถาม (1) นั้นเป็นไปไม่ได้ ฉันจะรอและดูว่ามีใครบางคนอธิบายเพิ่มเติมหรือไม่ แต่จะยอมรับว่าถูกต้องหรือไม่ ขอบคุณ!

— Patrick87

0

การอ่านวิกิพีเดียและคำตอบและความคิดเห็นของคุณเกี่ยวกับเรื่องนี้อีกครั้ง (Q2) เพื่อกล่าวทันทีทั้งหมด CFLs ที่คลุมเครือโดยเนื้อแท้จะต้องไม่อยู่ภายใต้มาตรฐาน std defn (รวมถึงตัวอย่างของคุณเอง!) วิ่งข้ามการอ้างอิงนี้

บางภาษาที่ปราศจากบริบท / ซามีร์และผู้อื่นน่าจะมาจากการศึกษาในวรรณคดี

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