คำถามติดแท็ก unary-languages

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

1
ออโตมาตาแบบทางเดียวกับตัวนับหนึ่งสามารถรับรู้ภาษาที่ไม่ใช่ภาษาปกติบางภาษาได้หรือไม่
วิธีการหนึ่งที่สลับขยายลงออโต (1APDA) สามารถรับรู้ภาษาใด ๆ ใน (สลับโดยจันทรา Kozen และ Stockmeyer, 1981) ด้วยการเปลี่ยนที่เก็บข้อมูลแบบขยายลงของ 1APDA ด้วยตัวนับเราสามารถขอรับออโตเมติกสลับทางเดียวด้วยหนึ่งตัวนับ (1ACA) คำถามของฉันเกี่ยวกับ 1ACAs สำหรับภาษาที่ไม่น่าสนใจDTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACAs สามารถจดจำภาษาที่ไม่ใช่ภาษาธรรมดาบางภาษาได้หรือไม่ โปรดทราบว่าการกดตัวเลขอัตโนมัติแบบทางเดียวเท่านั้นสามารถรับรู้ได้เฉพาะภาษาทั่วไป
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.