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