एकात्मक वर्णमाला पर बैकरेफर के साथ नियमित अभिव्यक्ति

Question

स्थापना:

• backreferences के साथ नियमित अभिव्यक्ति
• एकात्मक भाषा (1-प्रतीक वर्णमाला)

इस सेटिंग में निम्नलिखित समस्या निर्णायक है:

• बैकरेफरेंस के साथ एक नियमित अभिव्यक्ति को देखते हुए, क्या यह एक नियमित भाषा को परिभाषित करता है?

उदाहरण के लिए, (aa+)\1एक नियमित भाषा को परिभाषित करता है, जबकि (aa+)\1+नहीं करता है। क्या हम तय कर सकते हैं कि कौन सा मामला है?

---

संक्षिप्तता के लिए, "बैकरेफरेंस के साथ नियमित अभिव्यक्ति" यहाँ उदाहरण के लिए सामान्य पर्ल-संगत नियमित विवरण के निम्नलिखित सबसेट को देखें :

• aमिलान वर्ण a(वर्णमाला का एकमात्र वर्ण)
• X* के 0 या अधिक घटनाओं से मेल खाता है X
• X|Yमेल खाता है XयाY
• कोष्ठक का उपयोग समूह बनाने और कैप्चर करने के लिए किया जा सकता है
• \1। \2, आदि कोष्ठक के 1, 2, आदि की जोड़ी के समान स्ट्रिंग से मेल खाते हैं

हम सामान्य शॉर्टहैंड का भी उपयोग कर सकते हैं उदा X+= XX*।

Comments

क्या आपने गिनती के दृष्टिकोणों का पता लगाया है, यानी अनुक्रम का निरीक्षण किया है $|L_n|$? मुझे लगता है कि आप फ्रीडेनबर्गर के काम से परिचित हैं?

— राफेल

Answer 1

समस्या के प्रभावी निराकरण के खिलाफ प्रमाण प्रमेय नियमित अभिव्यक्ति में मेरे पेपर में प्रमेय 9 के प्रमाण में निर्माण द्वारा प्रदान किया गया है : आप यह निर्धारित कर सकते हैं कि क्या बहुत सारे फ़र्मेट प्राइम हैं।

Comments

साइट पर आपका स्वागत है! मैंने आपके पेपर में एक फुलर प्रशस्ति पत्र जोड़ा है।

— डेविड रिचरबी