Accept Input If machine halts in a

Accept Input
If machine halts
in a final state

Reject Input
If machine halts
in a non-final state
or
If machine enters
an infinite loop

ผลลัพธ์ (ไทย) 1:

ยอมรับการป้อนข้อมูล ถ้าเครื่องหยุด ในขั้นสุดท้ายปฏิเสธเข้า ถ้าเครื่องหยุด ในสถานะที่ไม่ใช่สุดท้าย หรือ ถ้าเครื่องป้อน วนมีอนันต์

ผลลัพธ์ (ไทย) 2:

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

ผลลัพธ์ (ไทย) 3:

ถ้าเครื่องรับสัญญาณ



หยุดในรัฐสุดท้ายปฏิเสธถ้าเครื่องหยุด

ใส่ในไม่สุดท้าย

ถ้ารัฐหรือเครื่องป้อน
ลูปอนันต์