1
รูปแบบการคำนวณที่ง่ายที่สุดคืออะไรซึ่งปัญหาความว่างเปล่าไม่สามารถตัดสินใจได้?
รูปแบบการคำนวณที่ง่ายที่สุดคืออะไรซึ่งปัญหาความว่างเปล่าไม่สามารถตัดสินใจได้? ปัญหาความว่างเปล่าสำหรับแบบจำลองการคำนวณ (เช่นขอบเขต จำกัด ของหุ่นยนต์อัตโนมัติ, สลับหุ่นยนต์แบบกดลง, หุ่นยนต์ควอนตัมแบบ จำกัด ขอบเขตกับข้อผิดพลาด, LBA ที่กำหนดขึ้นเอง) จะต้องพิจารณาว่าสำหรับเครื่องดังกล่าวหรือไม่ มันว่างเปล่า. นี่คือคำอธิบายของเครื่องควรจะ จำกัด ! ฉันรู้ว่าคำว่า "ง่ายที่สุด" นั้นค่อนข้างคลุมเครือ อาจมีคำตอบมากกว่าหนึ่งคำตอบสำหรับแบบจำลองการคำนวณที่หาที่เปรียบมิได้ ในฐานะที่เป็นคำพูดพิเศษฉันเชื่อว่าคำถามจะน่าสนใจยิ่งขึ้นโดยมุ่งเน้นที่ตัวอักษรแบบเอกนารีและไบนารีแยกกัน โปรดทราบว่ามีรูปแบบการคำนวณจำนวนมากที่ลังเลปัญหาคือ decidable แต่ปัญหาความว่างเปล่า (และบางส่วนปัญหาอื่น ๆ ) จะ (มี) ที่ตัดสินไม่ได้เช่นการเชิงเส้น bounded ออโต (LBA ของ)