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