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