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