เครื่องทัวริงที่ไม่มีความสามารถในการเขียนบนเซลล์ว่างมีประสิทธิภาพน้อยกว่าทัวริงมาตรฐานหรือไม่

เครื่องทัวริงที่ไม่มีความสามารถในการเขียนบนเซลล์ว่างมีประสิทธิภาพน้อยกว่าทัวริงมาตรฐานหรือไม่

ฉันคิดว่าคำตอบคือใช่ แต่ฉันไม่สามารถหาการคำนวณที่เครื่องทัวริงมาตรฐานสามารถทำได้ แต่เครื่องนี้ไม่สามารถทำได้

ความคิดใด ๆ

ประเภทของเครื่องทัวริงที่คุณอธิบายเป็นหุ่นยนต์ที่มีขอบเขตเป็นเส้นตรง (สามารถเขียนได้เฉพาะในส่วนของเทปที่มีอินพุต) LBAs เป็นตัวรับภาษาที่มีความไวต่อบริบทดังนั้นเพื่อค้นหาตัวอย่างของปัญหาที่ไม่สามารถแก้ไขได้ด้วยข้อ จำกัด นี้ แต่สามารถแก้ไขได้โดยทั่วไปโดยเครื่องทัวริงคุณแค่ต้องการภาษาที่สามารถถอดรหัสได้ แต่ไม่ใช่บริบท - รู้สึกไว

ตัวอย่างที่ให้ไว้ใน Wikipedia คือ:

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

สำหรับตัวอย่างเพิ่มเติมให้ดูมีตัวอย่างของภาษาแบบเรียกซ้ำซึ่งไม่คำนึงถึงบริบทหรือไม่

$\textsf{DSPACE}(O(n))$