เครื่องทัวริงเทปกึ่งไม่มีที่สิ้นสุด

เครื่องทัวริงที่มีเทปกึ่งอนันต์มีปลายด้านซ้าย แต่ไม่มีปลายด้านขวา ปลายด้านซ้ายถูก จำกัด ด้วยเครื่องหมายสิ้นสุด

เป็นเทปสองแทร็ก -

• Upper track - แสดงถึงเซลล์ทางด้านขวาของตำแหน่งหัวเริ่มต้น

• Lower track - แสดงถึงเซลล์ทางด้านซ้ายของตำแหน่งหัวเริ่มต้นในลำดับย้อนกลับ

เริ่มแรกสตริงอินพุตความยาวไม่สิ้นสุดจะถูกเขียนลงบนเทปในเซลล์เทปที่อยู่ติดกัน

เครื่องเริ่มต้นจากสถานะเริ่มต้น q₀และส่วนหัวจะสแกนจากเครื่องหมาย 'End' ด้านซ้าย ในแต่ละขั้นตอนจะอ่านสัญลักษณ์บนเทปใต้หัว มันเขียนสัญลักษณ์ใหม่บนเทปเซลล์นั้นจากนั้นมันจะย้ายส่วนหัวไปทางซ้ายหรือขวาหนึ่งเทป ฟังก์ชันการเปลี่ยนแปลงจะกำหนดการดำเนินการ

มีสองสถานะพิเศษที่เรียกว่า accept state และ reject state. หากเมื่อใดก็ตามที่เข้าสู่สถานะที่ยอมรับอินพุตจะถูกยอมรับและหากเข้าสู่สถานะปฏิเสธอินพุตจะถูกปฏิเสธโดย TM ในบางกรณีมันยังคงทำงานอย่างไม่มีที่สิ้นสุดโดยไม่ได้รับการยอมรับหรือปฏิเสธสำหรับสัญลักษณ์อินพุตบางอย่าง

Note - เครื่องทัวริงที่มีเทปกึ่งอนันต์เทียบเท่ากับเครื่องทัวริงมาตรฐาน