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