fl.formal-languages पर टैग किए गए जवाब

मैं मनोरंजन के लिए थ्योरी ऑफ़ कम्प्यूटेशन को संशोधित कर रहा हूँ और यह सवाल मुझे कुछ समय के लिए कचोट रहा है (जब मैंने अपने अंडरगार्मेंट में ऑटोमेटा थ्योरी सीखी तो मजाकिया अंदाज़ा कभी नहीं लगा)। तो "क्यों" वास्तव में हम निर्धारक और गैर-नियतात्मक परिमित ऑटोमेटा (डीएफए / एनएफए) …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

चॉम्स्की (-Schützenberger) पदानुक्रम का उपयोग सैद्धांतिक कंप्यूटर विज्ञान की पाठ्यपुस्तकों में किया जाता है, लेकिन यह स्पष्ट रूप से पूर्ण औपचारिकता चिड़ियाघर आरेख की तुलना में केवल औपचारिक भाषाओं (REG, CFL, CSL, RE) के बहुत छोटे अंश को कवर करता है । क्या वर्तमान शोध में पदानुक्रम अब कोई भूमिका …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

मैं निम्नलिखित समस्या के बारे में सोच रहा हूं: मैं एक नियमित अभिव्यक्ति ढूंढना चाहता हूं जो स्ट्रिंग्स के एक विशेष सेट (पूर्व वैध ईमेल पते के लिए) से मेल खाती है और दूसरों (अवैध ईमेल पते) से मेल नहीं खाती है। मान लें कि नियमित अभिव्यक्ति से हमारा मतलब …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

वास्तविक कंप्यूटर में सीमित मेमोरी और केवल एक सीमित संख्या में राज्य होते हैं। इसलिए वे अनिवार्य रूप से परिमित ऑटोमेटा हैं। कंप्यूटर का अध्ययन करने के लिए सैद्धांतिक कंप्यूटर वैज्ञानिक ट्यूरिंग मशीन (और अन्य समकक्ष मॉडल) का उपयोग क्यों करते हैं? असली कंप्यूटर के संबंध में इन मजबूत मॉडलों …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

हमेशा सैद्धांतिक कंप्यूटर विज्ञान से संबंधित विषयों में आवेदन का एक तरीका है। लेकिन पाठ्यपुस्तकों और स्नातक पाठ्यक्रमों में आमतौर पर इस कारण की व्याख्या नहीं होती है कि ऑटोमेटा सिद्धांत एक महत्वपूर्ण विषय है और क्या अभी भी अभ्यास में है। इसलिए स्नातक छात्रों को ऑटोमेटा सिद्धांत के महत्व …

37 soft-question  fl.formal-languages  automata-theory  teaching 

यहां तक ​​कि कंप्यूटर विज्ञान की पृष्ठभूमि वाले किसी व्यक्ति से पूछें कि एक नियमित अभिव्यक्ति क्या है, और इसका उत्तर एक परिमित-राज्य ऑटोमेटन की पहुंच के दायरे से बाहर जाने की संभावना है। उदाहरण के लिए, "नियमित अभिव्यक्ति" /^1?$|^(11+?)\1+$/ विख्यात पर्ल व्यक्तित्व अबीगैल द्वारा निर्मित (और 2002 से पर्ल …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

मुझे बहुत सारे उदाहरणों के साथ एक परिमित ऑटोमेटा सिद्धांत पुस्तक की आवश्यकता है जिसका उपयोग मैं स्वयं अध्ययन के लिए और परीक्षाओं की तैयारी के लिए कर सकता हूं।

32 reference-request  automata-theory  fl.formal-languages 

अपनी बहुत ही प्रभावशाली किताबों ऑटोमेटा, लैंग्वेजेज एंड मशीन्स (वॉल्यूम A, B) की प्रस्तावना में, शमूएल इलेनबर्ग ने वॉल्यूम सी और डी के साथ एक पदानुक्रम का व्यवहार करने का वादा किया था (जिसे अतार्किक घटनाओं की तर्कसंगत पदानुक्रम कहा जाता है ... तर्कसंगत संबंधों का उपयोग करके ... तुलना …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

भाषा है { } विषय से मुक्त है या नहीं?एमैंखjसीकश्मीर | मैं≠जे,मैं≠k,जे≠कश्मीर aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k मुझे एहसास हुआ कि मैंने इस प्रश्न के लगभग सभी प्रकारों का सामना किया है, जिनके साथ i, j और k के बीच के संबंध …

30 automata-theory  fl.formal-languages  grammars 

यह सर्वविदित है कि एक नियमित अभिव्यक्ति को आकार के एक nondeterministic परिमित ऑटोमोटन द्वारा नियमित अभिव्यक्ति के लिए आनुपातिक रूप से पहचाना जा सकता है, या एक नियतात्मक एफए द्वारा जो संभवतः घातीय रूप से बड़ा है। इसके अलावा, एक स्ट्रिंग और एक नियमित अभिव्यक्ति आर दिया गया , …

30 fl.formal-languages  automata-theory  regular-expressions 

मैं सोच रहा था कि क्या कोई `` बेहतर ’है (मैं किस अर्थ में समझाऊंगा) एल्गोरिथ्म डीएफए से शुरू होता है और एक नियमित अभिव्यक्ति आर का निर्माण करता है जैसे कि एल ( ए ) = एल ( आर ) , एक की तुलना में। होपक्रॉफ्ट और उलमैन (1979) …

28 fl.formal-languages  automata-theory  regular-expressions 

एक पूर्णांक nnn और वर्णमाला । परिभाषित करें पर सभी परिमित राज्य ऑटोमेटा का संग्रह होने की राज्य 1. हम विचार कर रहे हैं शुरू करने के साथ राज्यों सभी DFAs (बस जुड़ा हुआ नहीं, कम से कम, या गैर पतित वाले); इस प्रकार, ।Σ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| डी एफ ए ( एन …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

एक nondeterministic परिमित ऑटोमेटा , और एक फ़ंक्शन । इसके अतिरिक्त हम को परिभाषित करते हैं ।A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i अब निम्नलिखित कथन का विश्लेषण करते हैं: यदि , तो ।Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* यह दिखाना आसान है, कि …

28 automata-theory  fl.formal-languages  nondeterminism 

एक साइड-प्रोजेक्ट के रूप में, मैं पायथन का उपयोग करके एक भाषा लिख ​​रहा हूं। मैंने Ply नामक एक फ्लेक्स / बाइसन क्लोन का उपयोग करके शुरू किया था, लेकिन मैं व्याकरण की उस शैली के साथ जो कुछ भी व्यक्त कर सकता हूं उसकी शक्ति के किनारों के खिलाफ …

28 fl.formal-languages  pl.programming-languages  grammars 

हम एक नियमित पेड़ की भाषा को पुस्तक TATA में परिभाषित करते हैं : यह एक गैर-नियतात्मक परिमित ट्री ऑटोमेटन (अध्याय 1) द्वारा स्वीकृत पेड़ों का सेट है या, समकक्ष, एक नियमित पेड़ व्याकरण द्वारा उत्पन्न पेड़ों का सेट (अध्याय 2)। दोनों औपचारिकताएं प्रसिद्ध स्ट्रिंग एनालॉग्स के समान समानताएं रखती …

26 co.combinatorics  fl.formal-languages  tree  regular-language