পিসিএফ + টাইমআউটগুলি পুরোপুরি বিমূর্ত করার জন্য কি এসকার্ডের মেট্রিক সিমেটিক?


11

১৯৯৯ সালে তার ওয়ার্কশপ পেপার "এ মেট্রিক মডেল অফ পিসিএফ" -তে মার্টন এসকার্ডি দেখিয়েছিলেন যে সম্পূর্ণ আলট্রাসেট্রিক স্পেস এবং নন এক্সপেনসিভ মানচিত্রের বিভাগে পিসিএফের একটি সহজ ব্যাখ্যা দেওয়া সম্ভব।

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

  1. কেউ কি এটি তদন্ত করেছে, এবং যদি তা হয় তবে এর উত্তর কী?
  2. পিসিএফ + টাইমআউটগুলি কি উচ্চতর ধরণের সহ টিউরিং মেশিনের মতো একই কার্যকারিতা উপলব্ধি করতে পারে?

(একপাশে, আপনি কীভাবে লেখায় উচ্চারণ স্থাপন করবেন? আমি তার প্রথম এবং শেষ নাম দুটি থেকে একটি অ্যাকসেন্ট ফেলেছি E সম্পাদনা: নাম স্থির I'm আমি এই প্যারেন্টিটিয়ালটি রেখে যাচ্ছি যাতে পোস্টে মন্তব্য করা অবিরত থাকে ইন্দ্রিয়.)


2
অ্যাডওয়াদ কম্পিউটারে ম্যাক টাইপ করা মার্টন হিটজেল এসকার্ডি হিসাবে Π, π এবং as হিসাবে সহজ ϖ
আন্দ্রেজ বাউর 19

2
ÅđƔąņćĕð ισ αλσω åđƔąņćĕð!
রাদু গ্রেগোর

1
আমি খুব সুখের জন্য খুশি।
আন্দ্রেজ বাউয়ার

2
@ আন্দ্রেজ, আপনি যা বলেছিলেন তা আসলেই বোধ হয় বলে আমি ভাবি না :), তবে হিন্দি বেশ সুন্দর :)
সুরেশ ভেঙ্কট

1
গুগল অনুবাদ অবশ্যই মনে করে এটি এর
অর্থবোধ করে

উত্তর:


11

আপনার দ্বিতীয় প্রশ্নটি সম্পর্কে, আমি মনে করি মনে হয় যে উচ্চতর আদেশের ধরণের ক্ষেত্রে প্রশ্নটি পিসিএফ + টাইমআউট টাইপ টু কার্যকরতা (অসীম ইনপুট এবং আউটপাস সহ ট্যুরিং মেশিন) এর সমতুল্য ছিল কিনা, অর্থাৎ ক্লিনের দ্বিতীয় আংশিক সংযুক্ত বীজগণিতের সাথে মিলিত হয়েছিল to জন লংলি কিছু সময়ের জন্য দাবি করেছিলেন যে ক্লিনের দ্বিতীয় বীজগণিতটি পিসিএফ + টাইমআউট + ক্যাচের সমতুল্য ছিল, তবে শেষ পর্যন্ত তিনি কোনও বিশদ ফলাফল প্রকাশ করেন নি।

অন্যদিকে, আমি যথেষ্ট নিশ্চিত যে জন লংলি "নির্দিষ্ট মোট ধরণের স্ট্রাকচারের সর্বব্যাপী" (কম্পিউটার বিজ্ঞানে গাণিতিক কাঠামো 17 (5) (2007), 841--953) উচ্চতর অর্ডার ক্রিয়াকলাপগুলি বোঝায় যে পিসিএফ + সময়সীমার মধ্যে সংশোধনযোগ্য হ'ল বংশগতভাবে কার্যকর কার্যকর।


পুরো বিমূর্ততার বিষয়ে এখনও কোনও শব্দ নেই, তবে আপনি ২ নম্বর প্রশ্নের উত্তর দিয়েছেন, সুতরাং এটি গৃহীত হয়েছে।
নীল কৃষ্ণস্বামী

1
মার্টিন বলেন যে কেউ পুরো বিমূর্তনের বিষয়ে খুব বেশি চিন্তা করেনি। তিনি উল্লেখ করেছেন যে পুরো বিমূর্তিটি অনুসরণ করে যদি আপনি প্রতিটি ধরণের জন্য একটি ঘন ক্রম সংজ্ঞায়িত করতে পারেন, অর্থাত, একটি ধরণ দেওয়া হয় t, int -> tপিসিএফ + টাইমআউটতে একটি ক্রম সংজ্ঞায়িত করে যা আল্ট্রাসেট্রিক চালু হওয়ার ক্ষেত্রে ঘন হয় t
আন্দ্রেজ বাউয়ার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.