ในทฤษฎีออโตมาตะ (จำกัด ออโตมาตะ, กดออโตมาตะ, ... ) และในความซับซ้อนมีความคิดเกี่ยวกับ "ความกำกวม" หุ่นยนต์ไม่ชัดเจนถ้ามีคำที่มีอย่างน้อยสองวิ่งการยอมรับความแตกต่าง เครื่องเป็น -ambiguous ถ้าทุกคำพูดรับการยอมรับจากเครื่องที่มีมากที่สุดวิ่งที่แตกต่างกันที่จะยอมรับWk w k w
ความคิดนี้ถูกกำหนดผ่านไวยากรณ์ที่ไม่มีบริบท: ไวยากรณ์จะคลุมเครือหากมีคำที่สามารถรับได้ในสองวิธีที่แตกต่างกัน
มันเป็นที่รู้จักกันว่าหลายภาษามีลักษณะทางตรรกะที่ดีกว่ารุ่น จำกัด (ถ้าภาษาเป็นปกติมีสูตรลำดับที่สองแบบ monadicอยู่เหนือคำเช่นนั้นทุกคำที่ของเป็นแบบจำลองของเช่นเดียวกับ NP หากเทียบเท่ากับสูตรลำดับที่สองที่ทุก ๆ ลำดับที่ 2 มีอยู่ .)ϕ w L ϕ
ดังนั้นคำถามของฉันอยู่ที่ขอบของทั้งสองโดเมน: มีผลใด ๆ หรือแม้กระทั่งคำจำกัดความที่ยอมรับได้ของ "ความกำกวม" ของสูตรของตรรกะที่กำหนดหรือไม่
ฉันจินตนาการถึงคำจำกัดความบางอย่าง:
- ไม่คลุมเครือถ้ามีมากที่สุดคนหนึ่งดังกล่าวว่าถือและไม่คลุมเครือ
- จะคลุมเครือหากมีทั้งแบบจำลองและหรือถ้าคลุมเครือ ϕ 1 ϕ i
- สูตร SAT จะไม่คลุมเครือหากมีการมอบหมายที่ถูกต้องอย่างน้อยหนึ่งครั้ง
ดังนั้นฉันสงสัยว่ามันเป็นความคิดที่รู้จักกันดีมิฉะนั้นอาจเป็นเรื่องที่น่าสนใจที่จะลองทำการวิจัยในหัวข้อนี้ หากความคิดเป็นที่รู้จักใครสามารถให้คำหลักที่ฉันสามารถใช้ในการค้นหาข้อมูลเกี่ยวกับเรื่องนี้ (เพราะ "ความกำกวมตรรกะ" ให้ผลลัพธ์ที่ไม่เกี่ยวข้องจำนวนมาก) หรือการอ้างอิงหนังสือ / pdf / บทความ?