เครื่องทัวริงแบบหลายเทป

เครื่องทัวริงแบบหลายเทปมีเทปหลายเทปที่แต่ละเทปเข้าถึงด้วยหัวแยก แต่ละหัวสามารถเคลื่อนไหวได้อย่างอิสระจากหัวอื่น ๆ เริ่มแรกอินพุตอยู่ในเทป 1 และอื่น ๆ ว่างเปล่า ในตอนแรกเทปแรกจะถูกใช้งานโดยอินพุตและเทปอื่น ๆ จะว่างเปล่า จากนั้นเครื่องจะอ่านสัญลักษณ์ที่ต่อเนื่องกันใต้ส่วนหัวและ TM จะพิมพ์สัญลักษณ์บนเทปแต่ละเทปและขยับหัว

เครื่องทัวริงแบบหลายเทปสามารถอธิบายได้อย่างเป็นทางการว่าเป็น 6-tuple (Q, X, B, δ, q 0 , F) โดยที่ -

  • Q เป็นชุดของรัฐที่ จำกัด

  • X คือตัวอักษรเทป

  • B คือสัญลักษณ์ว่าง

  • δ เป็นความสัมพันธ์กับสถานะและสัญลักษณ์ที่

    δ: Q × X k → Q × (X × {Left_shift, Right_shift, No_shift}) k

    ที่มี k จำนวนเทป

  • q0 เป็นสถานะเริ่มต้น

  • F คือชุดของสถานะสุดท้าย

Note - เครื่องทัวริงแบบหลายเทปทุกเครื่องมีเครื่องทัวริงแบบเทปเดียวที่เทียบเท่า