मैं यह जानना चाहता हूं कि क्या निम्न समस्या विकट है:
उदाहरण: एन राज्यों के साथ एक एनएफए ए
प्रश्न: क्या कुछ अभाज्य संख्या p मौजूद है जैसे A, लंबाई के कुछ तार p को स्वीकार करता है।
मेरा मानना है कि यह समस्या असाध्य है, लेकिन मैं इसे साबित नहीं कर सकता। डिक्रिप्टर में आसानी से यह पता लगाने के लिए एक एल्गोरिथ्म हो सकता है कि क्या कोई विशेष नंबर प्राइम है, लेकिन मैं यह नहीं देखता कि यह एनएफए का विश्लेषण कैसे कर पाएगा ताकि यह पता चल सके कि यह कितनी लंबाई का उत्पादन कर सकता है। यह एनएफए के साथ तारों का परीक्षण शुरू कर सकता है, लेकिन एक अनंत भाषा के लिए, यह कभी भी रुक नहीं सकता है (और इस तरह एक डिकोडर नहीं हो सकता है)।
एनएफए को आसानी से डीएफए या नियमित अभिव्यक्ति में बदला जा सकता है यदि समाधान की आवश्यकता है, तो निश्चित रूप से।
यह प्रश्न कुछ ऐसा है जिसे मैं 2 सप्ताह में आने वाले फाइनल के लिए स्व-निर्मित प्रस्तुतिकरण के प्रश्न के रूप में बता रहा हूं।