अस्पष्ट परिमित ऑटोमेटन (UFA) विशेष प्रकार के गैर-नियतात्मक परिमित ऑटोमेटन (NFA) हैं।
एक NFA कहा जाता है स्पष्ट करता है, तो हर शब्द अधिकतम एक बार स्वीकार कर मार्ग होता है।
इसका मतलब यह है ।
ज्ञात संबंधित ऑटोमेटन परिणाम:
- NFA न्यूनतमकरण PSPACE-Complete है।
- परिमित भाषाओं पर एनएफए का न्यूनतमकरण डीपी-हार्ड है ।
- यूएफए न्यूनतम एनपी-पूर्ण है ।
- NFA मौजूद हैं जो न्यूनतम DFA की तुलना में बहुत छोटे हैं । (इसके अलावा: यूएफए मौजूद हैं जो न्यूनतम डीएफए - आरबी से घातीय रूप से छोटे हैं)।
सवाल यह है: हम एक नियमित भाषा पा सकते हैं ऐसे वहां मौजूद है कि एक NFA को स्वीकार एल जो तेजी से छोटे (राज्य-वार) कम से कम की तुलना में है ऊफ़ा के लिए एल ? क्या यह एक परिमित भाषा के लिए हो सकता है?
मेरा मानना है कि ऐसा (परिमित) मौजूद है, लेकिन मेरा प्रमाण वर्तमान में धारण करने के लिए घातीय समय परिकल्पना पर निर्भर करता है, और सोच रहा था कि क्या किसी के पास कोई प्रमाण है जो इस पर भरोसा नहीं करता है।
इसके अलावा, क्या कोई भाषा के सेट को चिह्नित कर सकता है जिसके लिए इस तरह के आकार में अंतर है?
EDIT: @Shaull ने अनंत भाषा से निपटने के लिए एक अच्छा लिंक दिया। क्या कोई परिमित भाषा के लिए समान परिणाम जानता है?