১৯৯৯ সালে তার ওয়ার্কশপ পেপার "এ মেট্রিক মডেল অফ পিসিএফ" -তে মার্টন এসকার্ডি দেখিয়েছিলেন যে সম্পূর্ণ আলট্রাসেট্রিক স্পেস এবং নন এক্সপেনসিভ মানচিত্রের বিভাগে পিসিএফের একটি সহজ ব্যাখ্যা দেওয়া সম্ভব।
তিনি দেখালেন যে এই মডেলটি পর্যাপ্ত ছিল এবং এটি একটি সময়সীমা নির্মাণের সংযোজনকে মডেল করতে পারে (অর্থাত্ একটি অপারেটর যা কিছু সীমাবদ্ধ সংখ্যক পদক্ষেপের জন্য তার তর্কটি চালাবে, এবং হয় কোনও উত্তর দিতে পারে বা এটির মধ্যে সমাপ্ত হতে ব্যর্থ হলে একটি ত্রুটি সংকেত দেয়) সময় সীমা)। তারপরে তিনি পরামর্শ দিয়েছিলেন যে মেট্রিক মডেলটি পিসিএফ + টাইমআউটগুলির ক্ষেত্রে পুরোপুরি বিমূর্ত ছিল কিনা তা তদন্ত করা স্বাভাবিক be
- কেউ কি এটি তদন্ত করেছে, এবং যদি তা হয় তবে এর উত্তর কী?
- পিসিএফ + টাইমআউটগুলি কি উচ্চতর ধরণের সহ টিউরিং মেশিনের মতো একই কার্যকারিতা উপলব্ধি করতে পারে?
(একপাশে, আপনি কীভাবে লেখায় উচ্চারণ স্থাপন করবেন? আমি তার প্রথম এবং শেষ নাম দুটি থেকে একটি অ্যাকসেন্ট ফেলেছি E সম্পাদনা: নাম স্থির I'm আমি এই প্যারেন্টিটিয়ালটি রেখে যাচ্ছি যাতে পোস্টে মন্তব্য করা অবিরত থাকে ইন্দ্রিয়.)