क्या एक असमान भाषा नियमित है यदि इसका प्रतिपादक एक रैखिक कार्य है?


13

अपनी औपचारिक भाषाओं और ऑटोमेटा कोर्स के लिए वर्तमान असाइनमेंट करते समय, मैं एक तरह की भाषाओं (मैं उम्मीद करता हूं कि यह सही शब्द है) को मिलाकर अभ्यास पर अटक गया, अर्थात, जो भाषाएं एक अक्षर पर निर्मित होती हैं। मैं विशिष्ट अभ्यासों के बारे में नहीं पूछना चाहता, हालांकि, इसके बजाय मैं बहुत अधिक सामान्य अनुमान लगा चुका हूं:

चलो और एल = { एक ( एन )Σ * : n एन 0 } । मेरे अनुमान है: एल  नियमित है एक्स , वाई एन 0 : ( एन ) = एक्स n + yΣ={a}L={af(n)Σ:nN0}

L is regularx,yN0:f(n)=xn+y

क्या इस सवाल का पहले कोई वैज्ञानिक उपचार देखा गया है? क्या यह "स्पष्ट रूप से" सही / गलत है?

मेरे लिए, स्पष्ट रूप से " " दिशा क्योंकि एक बस के साथ एक DFA निर्माण कर सकते हैं सच है x + y कहा गया है कि के माध्यम से चक्र एक्स के बाद राज्यों के माध्यम से पढ़ने होने y राज्यों और स्वीकार करता है iff यह राज्य संख्या में है yx+yxyy


अच्छा काम, यह अवलोकन करना कुछ भी नहीं है जिसकी मुझे औसत छात्रों से अपेक्षा होगी!
राफेल

माना। यह एक बहुत अच्छा अवलोकन है।
रिक डेकर

यह शीर्षक से स्पष्ट नहीं है, लेकिन हमारे पास यह सवाल पहले आया है, एक छोटे से समतुल्य लेम्मा तक: एक नियमित भाषा में शब्द लंबाई के संभावित सेट क्या हैं?
गिल्स एसओ- बुराई को रोकना '

जवाबों:


9

रैखिक करीब है, लेकिन आप जिस तकनीकी शब्द की तलाश कर रहे हैं, वह अर्धचालक है: अर्थात , रैखिक सेटों का एक परिमित संघ।

इसके प्रमाण का आधा हिस्सा पारिख के प्रमेय का एक सहसंबंध है , जो कहता है कि किसी भी संदर्भ-मुक्त भाषा में अर्ध-रेखीय पारिख नक्शा है (जो वर्णमाला में प्रत्येक अक्षर के होने वाले वैक्टर का सेट है)।

एक अनियंत्रित भाषा के लिए, भाषा का पारिख नक्शा ही भाषा है (अर्थात प्रत्येक शब्द को विशिष्ट रूप से कितने अक्षरों से पहचाना जाता है), इसलिए हर एक नियमित भाषा अर्ध-रैखिक होती है।

सबूत के दूसरे आधे से पता चलता है कि आप एक नियमित भाषा का निर्माण कर सकते हैं जिसमें हर एक अर्ध-रैखिक सेट है। यह थोड़ा काम लेता है, लेकिन अगर आप नियमित अभिव्यक्ति का उपयोग करते हैं तो यह बहुत मुश्किल नहीं है:

  • ak{k}
  • (ak){xkxN0}
  • R1R2S1+S2R1S1R2S2+
  • R1|R2S1S2R1S1R2S2|

6

L={akk=3n+1 or k=7n+4}
L={akk=4n+2 or k=13}
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.