ফাঁকা কোষগুলিতে লেখার ক্ষমতা ছাড়াই একটি ট্যুরিং মেশিন কি স্ট্যান্ডার্ড টিউরিংয়ের চেয়ে কম শক্তিশালী?

Question

ফাঁকা কোষগুলিতে লেখার ক্ষমতা ছাড়াই একটি ট্যুরিং মেশিন কি স্ট্যান্ডার্ড টিউরিংয়ের চেয়ে কম শক্তিশালী?

আমি মনে করি উত্তরটি হ্যাঁ তবে আমি একটি গণনা খুঁজে পাইনি যা স্ট্যান্ডার্ড টিউরিং মেশিনটি করতে পারে তবে এই মেশিনটি পারে না।

কোন ধারনা?

Comments

অন্য কথায়, " সীমিত মেমরির একটি কম্পিউটার কি সীমাহীন মেমরির কম্পিউটারের চেয়ে কম শক্তিশালী হবে ?"

— নাট

Answer 1

আপনি যে ধরণের টুরিং মেশিন বর্ণনা করেছেন তা হ'ল লিনিয়ার বাউন্ডেড অটোমেটন (এটি কেবল ইনপুটযুক্ত টেপের অংশগুলিতেই লিখতে পারে)। এলবিএ হ'ল প্রসঙ্গ-সংবেদনশীল ভাষার গ্রহণযোগ্য তাই কোনও সমস্যার সুনির্দিষ্ট উদাহরণ খুঁজে পেতে যা এই বিধিনিষেধের সাথে সমাধান করা যায় না তবে সাধারণভাবে একটি ট্যুরিং মেশিনের মাধ্যমে সমাধান করা যায়, আপনার কেবল এমন ভাষা প্রয়োজন যা সিদ্ধান্ত গ্রহণযোগ্য তবে প্রসঙ্গে নয়- সংবেদনশীল।

উইকিপিডিয়ায় দেওয়া উদাহরণটি হ'ল:

রেকর্ডিভ ভাষার উদাহরণ যা প্রসঙ্গে সংবেদনশীল নয় এমন কোনও পুনরাবৃত্তির ভাষা যার সিদ্ধান্ত একটি এক্সপাসেসি-কঠিন সমস্যা, বলুন, এক্সপেনসিয়েশন সহ সমান নিয়মিত এক্সপ্রেশনগুলির জোড়গুলির সেট।

আরও উদাহরণের জন্য, দেখুন এমন কোন পুনরাবৃত্ত ভাষার কোনও উদাহরণ যা প্রসঙ্গে সংবেদনশীল নয়?

Answer 2

$\textsf{DSPACE}(O(n))$

Comments

ফাঁকা হিসাবে ব্যবহার করা যায় এমন টেপের শেষে আপনি কেবল কোনও নির্দিষ্ট সমস্যার জন্য যথেষ্ট দীর্ঘ প্রত্যয় সরবরাহ করতে পারবেন না?

— জেনার

@gen সাধারণভাবে নয় সর্বাধিক সাধারণ ক্ষেত্রে, কেবলমাত্র নোট করুন যে এত দীর্ঘ প্রত্যয়টি জানার ফলে থামানো সমস্যাটি স্থিতিশীল হয়ে উঠবে। ফলস্বরূপ, পর্যাপ্ত দীর্ঘ উপসর্গটি গণনা করা অনস্বীকার্য হতে পারে, সাধারণভাবে - সুতরাং এটি অনুমান করা অযৌক্তিক যে এ জাতীয় প্রত্যয় দেওয়া হয়েছে।

— চি

এই উত্তরটির অর্থ ব্যাখ্যা করা কি সঠিক হবে, " সীমাবদ্ধ মেমরিযুক্ত টুরিং মেশিনগুলিতে কোনও স্বেচ্ছাসেবী প্রোগ্রাম চালানোর পক্ষে পর্যাপ্ত মেমরি থাকবে না কারণ কিছু প্রোগ্রামের কাছে যা কিছু ঘটে তার চেয়ে বেশি মেমরির প্রয়োজন হতে পারে ?"

— নাট

@ নাট: আমি এটিকে বাক্যটি বলছি "প্রোগ্রামটি চালা না হওয়া পর্যন্ত একটি প্রোগ্রামের প্রয়োজনীয় পরিমাণ মেমরি সাধারণভাবে অজানা"। কি কৌতূহল (একটি দুর্দান্ত গাণিতিক প্যারাডক্স) এটি যে কোনও পূর্ণসংখ্যার ট্রিপলেট এক্স, ওয়াই, জেডের জন্য, এমন প্রোগ্রামগুলির জন্য প্রয়োজনীয় টেপ কোষগুলির সংখ্যার উপরের সীমা থাকে যা শেষ করতে পারে এবং বেশিরভাগ এক্স রাজ্যে ধারণ করে এমন টেপগুলিতে থাকতে পারে সর্বাধিক Y ধরণের প্রতীক, এবং টেপে জেড চিহ্নের সাহায্যে আরম্ভ করা হয়, তবে এক্স, ওয়াই এবং জেড এর তুচ্ছ মান বাদে এ জাতীয় কোনও উচ্চ বন্ডটি প্রমাণযোগ্য নয়

— সুপারক্যাট