คำเตือน: ฉันรู้น้อยมากเกี่ยวกับทฤษฎีความซับซ้อน
ฉันขอโทษ แต่ไม่มีทางที่จะถามคำถามนี้โดยไม่ย่อท้อ (ชะมัด):
Morphisms ในหมวด "เครื่องจักรทัวริง" ควรเป็นอย่างไร
เห็นได้ชัดว่าเป็นอัตนัยและขึ้นอยู่กับการตีความทฤษฎีดังนั้นคำตอบของคำถามนี้ควรให้หลักฐานและเหตุผลสนับสนุนคำตอบด้วยเช่นกัน
ฉันต้องการที่จะเน้นจุดที่ฉันกำลังมองหาหมวดหมู่ของเครื่องทัวริงไม่ได้มาจากภาษาที่เป็นทางการเช่น โดยเฉพาะอย่างยิ่งฉันคิดว่าสัณฐานของฉันควรมีข้อมูลที่ดีขึ้นแล้วลดลงหรืออะไรเช่นนั้น (ฉันไม่แน่ใจว่า)
แน่นอนถ้ามีหมวดหมู่ที่เป็นที่รู้จักและใช้กันอยู่แล้วในวรรณคดีฉันอยากรู้ว่ามันคืออะไร