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