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