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