যদি 50 টিরও বেশি ধাপে থামে না, তবে সাধারণভাবে অসীম টেপগুলিতে এম যে অবস্থানগুলিতে পৌঁছতে পারে তার চেয়ে সীমিত are সুতরাং অসীম টেপ একটি সীমাবদ্ধ দ্বারা অনুকরণ করা যেতে পারে। এর অর্থ হ'ল টেপটি সসীম অটোমেটনের মাধ্যমে অনুকরণ করা যায়। এটা অনুসরণ করে একটি টুরিং মেশিন এম কোনো 50 চেয়ে বেশি পদক্ষেপে স্টপ কিছু সসীম যন্ত্রমানব করার bisimilar হয় এম ' ।এমএমএমএম'
যাক রাজ্যের সেট হতে এম , এফ ⊂ প্রশ্ন গ্রহণ রাজ্যের সেট এবং Γ বর্ণমালা হও। তারপর আমরা রাজ্যের সেট নির্মাণের প্রশ্ন ' এর এম ' নিম্নরূপ:
প্রশ্ন ' = { ⟨ এন , কুই , গুলি , পি , একটি ⟩প্রশ্নঃএমএফ⊂ প্রশ্নΓপ্রশ্নঃ'এম' যেখানে p টেপের উপরে পঠন / লেখার শীর্ষের অবস্থান। আমরা অবস্থানটি { - 50 , এ সীমাবদ্ধ করতে পারি । । । , 50 } কারণ অনুমোদিত কম্পিউটিং পদক্ষেপের সংখ্যা পৌঁছনীয় পজিশনের সংখ্যা সীমিত করে।প্রশ্নঃ'= { ⟨ এন , কুই,s,p,a⟩|n∈{0,...,50}q∈Q,s∈Γ,p∈{−50,...,50},a≡q∈F}p{−50,...,50}
একটি রাষ্ট্র রয়ে সসীম যন্ত্রমানব এর এম ' তাহলে যে আমরা মানে রাষ্ট্র এ কুই মূল যন্ত্রমানব এর সঙ্গে গুলি অবস্থানে টেপ পি যেখানে এছাড়াও পঠন / লিখন মাথা অবস্থিত , এন- তম কম্পিউটিং পদক্ষেপের পরে। রাষ্ট্র যদি কোনো গ্রহণ অন্যতম একটি ≡ টি R U ই ।⟨n,q,s,p,a⟩M′qspna≡true
একটি কংক্রিট টিউরিং মেশিনের রূপান্তর সম্পর্কের রূপান্তরটি আরও কিছু কাজ তবে মূল প্রশ্নের জন্য প্রয়োজনীয় নয়, কারণ রাষ্ট্রের স্থান সীমাবদ্ধ তা দেখানোর জন্য এটি যথেষ্ট (এবং আমরা কেবলমাত্র প্রতিটি ইনপুট সর্বোচ্চ 50 এর দৈর্ঘ্যের সাথে পরীক্ষা করতে পারি এ জাতীয় প্রতিটি অটোমেটনে প্রতীক)। ধারণা একটি নতুন রূপান্তরটি সম্পর্ক করে একটি রাষ্ট্র থেকে যায় গড়ে তোলা একটি রাষ্ট্র ⟨ এন + + 1 , কুই ' , s ' , পৃ ' , একটি ' ⟩ মধ্যে এন⟨n,q,s,p,a⟩⟨n+1,q′,s′,p′,a′⟩n-th কম্পিউটিং রূপান্তরটি iff পদক্ষেপ মূল রূপান্তরটি সম্পর্ক ছিল।⟨q,s,p⟩→⟨q′,s′,p′⟩