4
การกำหนดปัญหาการหยุดทำงานสำหรับออโตมาต้าที่ไม่สามารถกำหนดค่าได้
คำจำกัดความหลักของ Turing machine (TM) อย่างน้อยในหนังสืออ้างอิงของฉันเอง (Hopcroft + Ullman 1979) นั้นถูกกำหนดไว้แล้ว ดังนั้นความเข้าใจของฉันเองเกี่ยวกับปัญหาการหยุดชะงักเป็นหลักสำหรับการกำหนด TM แต่ฉันตระหนักว่ามันอาจได้รับการพิจารณาสำหรับออโตมาตาชนิดอื่น ฉันยังสังเกตเห็นว่าการกำหนดระดับนั้นมักจะมากหรือน้อยโดยนัยในวิธีที่ผู้คนมักอ้างถึง TM หรือปัญหาการหยุดชะงัก หน้าวิกิพีเดียเกี่ยวกับปัญหาการหยุดชะงักเป็นตัวอย่างที่ดีของสิ่งนั้น แต่ดูเหมือนไม่มีเหตุผลสำหรับข้อ จำกัด ดังกล่าว ให้ครอบครัว ของออโตมาตะที่ไม่สามารถกำหนดได้ - ปัญหาการหยุดชะงักของอาจถูกกำหนดเป็น:ฉFF\mathcal FFF\mathcal F มีขั้นตอนการตัดสินใจที่เหมือนกันหรือไม่เนื่องจากมีหุ่นยนต์และอินพุตจะสามารถตัดสินใจได้ว่ามีการคำนวณการหยุดชะงักของบนอินพุตหรือไม่ x A xA∈FA∈FA\in\mathcal FxxxAAAxxx (นี่ไม่เหมือนกับการบอกว่าการคำนวณของกับอินพุตจะสิ้นสุดลง)xAAAxxx ที่จริงแล้วดูเหมือนเป็นวิธีเดียวที่จะให้ความรู้สึกถึงการอภิปรายเกี่ยวกับปัญหาการหยุดชะงักสำหรับLinear Bounded Automata (LBA) ซึ่งส่วนใหญ่ไม่ใช่ออโตมาตา ดังนั้นคำถามของฉันคือว่าฉันถูกต้องหรือไม่และมีเหตุผล (และเหตุผลใด) สำหรับการรักษาระดับที่สองนี้ที่เห็นได้ชัดของปัญหาการหยุดชะงักสำหรับออโตมาตาแบบไม่ขึ้นรูป