एक नियमित भाषा , को की लंबाई में शब्दों की संख्या । जॉर्डन कैनोनिकल फॉर्म ( लिए कुछ डीएफए के अघोषित संक्रमण मैट्रिक्स पर लागू ) का उपयोग कर, कोई यह दिखा सकता है कि बड़े पर्याप्त , जहाँ जटिल बहुपद हैं और जटिल "eigenvalues" हैं। (छोटे के लिए , हम फार्म की अतिरिक्त शर्तें हो सकती हैं , जहां है अगर औरसी एन ( एल )एन एल एन सी एन ( एल ) = k Σ मैं = 1 पी मैं ( एन ) λ n मैं , पी मैं λ मैं एन सी कश्मीर [ n = कश्मीर ] [ n = कश्मीर ] 1 एन = कश्मीर 0 कश्मीर + 1 0
यह प्रतिनिधित्व स्पष्ट रूप से प्रतीत होता है कि यदि अनंत है तो asymptotically, कुछ । हालाँकि, यह वर्तमान में गलत है: समान लंबाई के सभी शब्दों की भाषा ओवर के लिए, लेकिन । इससे पता चलता है कि कुछ और सभी , या तो बड़े पर्याप्त या । यह फ्लाजोलेट और सेडगेविक में साबित होता हैसी एन ( एल ) ~ सी एन कश्मीर λ n सी , λ > 0 एल { 0 , 1 } सी 2 n ( एल ) = 2 2 एन सी 2 n + 1 ( एल ) = 0 डी एक ∈ { 0 , ... , d - 1 } c d m + a (मीटर ग घ मीटर + एक ~ सी एक ( घ मीटर + एक ) कश्मीर एक λ घ मीटर + एक एक (प्रमेय V.3), जो बर्कल के लिए प्रमाण का श्रेय देता है।
फ्लैजोलेट और सेडगविक द्वारा प्रदान किया गया प्रमाण कुछ तकनीकी है; इतना तकनीकी, वास्तव में, कि वे केवल इसे स्केच करते हैं। मैंने पेरोन-फ्रोबेनियस सिद्धांत का उपयोग करते हुए एक अधिक प्राथमिक प्रमाण का प्रयास किया। हम डीएफए के संक्रमण ग्राफ को डिग्राफ के रूप में मान सकते हैं। यदि डिग्राफ आदिम है तो परिणाम लगभग सीधे पेरोन-फ्रोबेनियस प्रमेय से निकलता है। यदि डाइग्राफ irrucible है, लेकिन अनुक्रमणिका साथ imprimitive है , तो DFA की " वें शक्ति" पर विचार करके (प्रत्येक संक्रमण प्रतीकों से मेल खाती है ), हमें एक ही परिणाम मिलता है। मुश्किल मामला तब है जब डिग्ग रिड्यूसबल है। हम दृढ़ता से जुड़े घटकों के एक पथ के मामले में कम कर सकते हैं, और फिर हम फॉर्म के योगों का अनुमान लगाकर परिणाम प्राप्त करते हैं आर आर Σ मीटर 1 + ⋯ + मीटर कश्मीर = मीटर कश्मीर Π मैं = 1 λ हूँ मैं मैं ।
प्रमाण में इसके मोटे किनारे हैं: करने के मामले में, हमें उपर्युक्त राशि से तक asymptotic पास करने की आवश्यकता है , और फिर हमें योग का अनुमान लगाने की आवश्यकता है।
फ्लैजोलेट और सेडगविक द्वारा प्रमाण शायद अधिक सरल है, लेकिन कम प्राथमिक है। इसका प्रारंभिक बिंदु का तर्कसंगत निर्माण कार्य है , और इसमें (!) की संख्या पर प्रेरण शामिल है। मूल विचार यह है कि बर्स्टेल के एक (मामूली आसान) प्रमेय के कारण, अधिकतम मापांक के सभी प्रतिजनी एकता की जड़ें हैं (यदि उनके मापांक द्वारा सामान्यीकृत)। एक उपयुक्त चयन और लंबाई शब्दों को देखें , तो ये सभी स्वदेशी वास्तविक बन जाते हैं। आंशिक अंश विस्तार को ध्यान में रखते हुए, हमें यह पता चलता है कि यदि मैक्सिमम मापांक "" जीवित रहता है "" का स्वदेशी, तो यह एसिम्पटोटिक्स को निर्धारित करता है, जो किd d m + a C n k λ n। अन्यथा, हम एक नया तर्कसंगत निर्माण फ़ंक्शन पाते हैं जो इस लंबाई के शब्दों (एक हैडमर्ड उत्पाद का उपयोग करके) से मेल खाती है, और तर्क को दोहराता है। पूर्वोक्त मात्रा घटती रहती है, और अंतत: हमें वांछित विषमताएँ मिल जाती हैं; को प्रक्रिया में विकसित करना पड़ सकता है, जो कि आगमनात्मक चरणों में होने वाली हर चीज को प्रतिबिंबित करने के लिए है।
क्या की संपत्ति के लिए एक सरल और प्राथमिक प्रमाण है ?