बिना विकल्प के नियमित अभिव्यक्ति


9

मैं सोच रहा था कि नियमित अभिव्यक्ति के प्रतिबंधों से भाषाओं के क्या सेट उत्पन्न होते हैं। यह मानते हुए कि सभी प्रतिबंधों के प्रत्येक तत्व के लिए एक निरंतर प्रतीक हैΣऔर संघटन। फिर पूरक / निषेध, परिवर्तन / संघ, और क्लेयन स्टार की उपस्थिति या अनुपस्थिति से आठ कक्षाएं बनाई जा सकती हैं। (हां, 'सामान्य' नियमित अभिव्यक्ति में ए नहीं हैC ऑपरेटर, लेकिन यह यहाँ सुविधाजनक है।)

प्रत्यावर्तन और क्लेयन स्टार को अनुमति के साथ या बिना अनुमति के अभिव्यक्तियाँ (दोस्तों के बीच थोड़ा डबल-एक्सपोनेंशियल ब्लोअप?), नियमित भाषा उत्पन्न करते हैं। अभिव्यक्तियाँ वैकल्पिक और पूरक की अनुमति देती हैं लेकिन क्लेने स्टार सितारा-मुक्त भाषाओं को उत्पन्न नहीं करते हैं। अभिव्यक्तियाँ अनुमति देती हैं, लेकिन पूरक या क्लेयन स्टार परिमित भाषाओं को उत्पन्न नहीं करते हैं।

लेकिन क्या बिना वैकल्पिक भाषाओं के कोई दिलचस्प वर्ग उत्पन्न हो सकता है? इन तीनों में से किसी भी ऑपरेटर के बिना जो उत्पन्न हो सकता है वह एक शब्द है। पूरक ऑपरेटर यहां बहुत मदद नहीं करता है।

सिर्फ क्लेन स्टार के साथ वर्ग कुछ दिलचस्प है ... यह स्पष्ट नहीं है कि क्या उन्हें नियमित भाषाओं की तुलना में तेजी से पहचाना जा सकता है। (क्या इनके बारे में कुछ भी ज्ञात नहीं है?)

क्लेन स्टार और पूरक दोनों के साथ ... क्या आपको कुछ दिलचस्प मिलता है? क्या इस वर्ग का कोई नाम है?

यह प्रश्न गणित पर नियमित अभिव्यक्ति के प्रश्न से प्रेरित था


प्रत्यावर्तन का क्या अर्थ है? इसके अलावा, यह "क्लेन" है।
सुरेश वेंकट

1
@ सुरेश वेंकट: संघ, तार्किक OR; |, /, k
चार्ल्स

ध्यान दें कि मूल संदर्भ में, क्लास में पूरक नहीं है, लेकिन बैकरेफरेंस हैं।
पीटर टेलर

@ पेटर टेलर: सही। मैं बैकरेफरेंस पर एक अनुवर्ती प्रश्न पूछने का इरादा रखता हूं, लेकिन मुझे लगा कि इस प्रश्न में फिट होना बहुत अधिक होगा।
चार्ल्स

जवाबों:


12

संघ के बिना (और पूरक के बिना) नियमित अभिव्यक्ति द्वारा वर्णित नियमित भाषाओं के वर्ग को संघ-मुक्त नियमित ( स्टार: डॉट नियमित ) के रूप में जाना जाता है ) भाषाओं के । भाषाओं के इस वर्ग ने हाल ही में कुछ ध्यान आकर्षित किया है:

बेनेडेक नेगी: "यूनियन-फ्री रेगुलर लैंग्वेजेज एंड 1-साइकल-फ्री-पाथ-ऑटोमेटा", पब्लिकेशन मैथेमेटिका 68 (1-2), 2006।

सर्गेई अफोनिन और डेनिस गोलोमेज़ोव: "मिनिमल यूनियन-फ्री डेकोम्पोज़िशन ऑफ़ रेगुलर लैंग्वेजेस", लैंग्वेज एंड ऑटोमेटा थ्योरी एंड एप्लीकेशन, स्प्रिंगर 2009।

गैलिना जिरास्कोवा और टोमस मासोपस्ट: "यूनियन-फ्री रेगुलर लैंग्वेजेज में जटिलता", भाषा थ्योरी में विकास, स्प्रिंगर 2010।


1
अच्छा लगा। क्या पूरक से अतिरिक्त शक्ति के बारे में कुछ पता है?
चार्ल्स

1
लघु नाइटपिक सुधार: अफ़ोइन और गोलोमेज़ोव द्वारा किया गया पेपर LATA 2009 में दिखाई दिया, न कि DLT 2009 में।
डोमिनिक डी। फ्रीडेनबर्गर
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.