টিউরিং স্বীকৃতিযোগ্য => গণনাযোগ্য

Question

আমি একজন এনিউরেটর থেকে টুরিং মেশিনে যাওয়ার প্রমাণ পেয়েছি (এনুমरेटरটি চালিয়ে যান এবং এটি ইনপুটটির সাথে মেলে কিনা দেখুন) তবে অন্য উপায়টি কীভাবে কাজ করে তা আমি দেখতে পাই না।

আমার নোটস এবং গ্রন্থটি অনুসারে (টিউরিং মেশিনের থিওরি - সিপসার), টিউরিং মেশিন থেকে টিউরিং গণনার পেতে আমরা মূলত বর্ণমালাটির সমস্ত সংমিশ্রণ লিখি। আপনি তারপরে এই ইনপুটটিতে টিএম চালান, যদি এটি প্রিন্ট করে তা গ্রহণ করে, নতুন স্ট্রিংটির পুনরাবৃত্তি বিজ্ঞাপন ইনফিনিটাম দিয়ে প্রতিস্থাপন করুন।

আমি যে সমস্যাটি করছি তা অবশ্যই ভাষাটিকে ডেসেবল করে তোলা দরকার। অন্যথায় এটি কিছু অসীম লুপের তৃতীয় শব্দটির সাথে আটকে যেতে পারে এবং কখনই গ্রহণ বা প্রত্যাখ্যান করবে না এবং অবশ্যই পুরো ভাষাটি মুদ্রণ করবে না।

আমি কী মিস করছি?

Answer 1

কী অনুপস্থিত তা হ'ল আপনি কীভাবে টিউরিং মেশিন এনুমरेटरটি পাওয়ার জন্য স্ট্রিংয়ে চালাচ্ছেন । প্রতিটি স্ট্রিং তৈরির পরিবর্তে চালান , এবং তারপরে এই স্ট্রিংটি আউটপুট করুন যদি গ্রহণ করে - যা আপনি চিহ্নিত করেছেন তেমন কাজ করে না - আপনি নীচের মতো কিছু করেন যা "বিভিন্ন স্ট্রিংয়ে এর বহু উদাহরণ সিমুলেট করার কৌশল গ্রহণ করে " সমান্তরাল "।$M$$M$$M$$M$

টেপ ধরে সামগ্রী নেই , যেখানে বিবেচনা অধীন কিছু শব্দ এবং বর্তমান রাষ্ট্র অপারেটিং । এই উপস্থাপন করে এমন কপি কৃত্রিম হচ্ছে। সংরক্ষণ করা হয় তাই আসল ইনপুটটি কী ছিল তা আমরা জানি।$\langle w_1, S_1\rangle \# \cdots \# \langle w_n, S_n\rangle$$w_i$$S_i$$M$$w_i$$n$$M$$w_i$

এখন নিম্নলিখিত লুপ চালান

1. পরবর্তী স্ট্রিং শেষে টেপ লেখার , প্রাথমিক কনফিগারেশন সহ এর , যে লেখ ।$w\in\Sigma^*$$S$$M$$\# \langle w, S\rangle$
2. এক ধাপের জন্য টেপটিতে এর প্রতিটি কপি অনুকরণ করুন। (সম্ভবত অন্য টেপ ব্যবহার করুন।)$M$
3. যদি এর মধ্যে যে কোনও গ্রহণযোগ্য স্থানে প্রবেশ করে, আউটপুট টেপের সাথে সংশ্লিষ্ট স্ট্রিংটি রাখুন। এই উদাহরণটি টেপ থেকে সরান ।$M$$M$
4. কোন এক করা একটি প্রত্যাখ্যান রাষ্ট্র প্রবেশ করে, যে দৃষ্টান্ত অপসারণ টেপ থেকে।$M$$M$
5. গোটো পদক্ষেপ 1।

দ্বারা স্বীকৃত সমস্ত স্ট্রিংগুলি শেষ পর্যন্ত টেপের আউটপুট হবে বলে তর্ক করা শক্ত নয় ।$w\in\Sigma^*$$M$

Comments

ওরফে "ঘুঘু-টেইলিং"।

— কাভেহ