টিউরিং মেশিনগুলির সংজ্ঞাগুলি সর্বদা ফাঁকা প্রতীকটি ইনপুট বর্ণমালার অংশ না হওয়া সম্পর্কে স্পষ্ট।
আমি আশ্চর্য হয়েছি যে আপনি কী ভুল করবেন যখন আপনি এটিকে ইনপুট বর্ণমালার অংশ হিসাবে তৈরি করবেন , কারণ কার্যকরভাবে ফাঁকা প্রতীকটি ইতিমধ্যে ইনপুটটির অংশ বলে মনে হচ্ছে।
শেষ বাক্যে 'মনে হয়েছে' তা বোঝাতে নীচের বিষয়গুলি বিবেচনা করুন।
ডিফল্ট সেটআপে, ইনপুটটির ডানদিকে অসীম সংখ্যা ফাঁকা প্রতীক উপস্থিত হয়। যখন টেপ শিরোনামটি প্রথম ফাঁকা প্রতীকের উপরে চলে যায়, গণনা কেবল চালিয়ে যেতে পারে, কারণ এটি গ্রহণযোগ্য বা প্রত্যাখ্যানযোগ্য রাষ্ট্র হওয়ার দরকার নেই।
এখন ধরুন গণনাটি পরবর্তীকালে ইনপুট বর্ণমালা থেকে সেই প্রথম ফাঁকা প্রতীকের ডানদিকে চিহ্নগুলি লিখবে, এবং প্রারম্ভিক অবস্থানে ফিরে যাওয়ার পরে বাম দিকের অবস্থানে ফিরে আসবে। এটি তখন আলাদা টেপ দিয়ে 'স্টার্ট ওভার' করবে। কার্যকরভাবে, এটি এখন একটি আলাদা ইনপুট দিয়ে শুরু হয়, যেখানে ফাঁকা ডানদিকে ইনপুট চিহ্ন রয়েছে যা আগে ছিল না। ইনপুটটি কার্যকরভাবে ফাঁকা প্রতীক অন্তর্ভুক্ত বলে মনে হচ্ছে। মেশিনটির পরবর্তী আচরণটিও এখন অন্যরকম হতে পারে: খালি আবার দেখা করার পরে, এটি এখন ডানদিকে বিভিন্ন চিহ্নের মুখোমুখি হবে।
এই দৃশ্যের সত্যতা অনুমান করা সম্ভব, আপনি কেন ইনপুট বর্ণমালার ফাঁকা প্রতীক অংশটি বিবেচনা করবেন না এবং কেন আপনি এটি 'প্রাথমিক' ইনপুটটির অংশ হিসাবে অন্তর্ভুক্ত করবেন না?
সম্ভবত এটি কেবল ইনপুটটিকে সংজ্ঞায়িত করার উপায় যে এটি সর্বদা অসীম নয়?