automata-theory पर टैग किए गए जवाब

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

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 

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

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

मैंने हाल ही में यह सुना है - "एक गैर-नियतात्मक मशीन एक संभाव्य मशीन के समान नहीं है। कच्चे शब्दों में, एक गैर-नियतात्मक मशीन एक संभाव्य मशीन है जिसमें संक्रमण के लिए संभावनाएं ज्ञात नहीं हैं"। मुझे लगता है जैसे मुझे बात मिलती है, लेकिन मैं सच में नहीं। क्या …

38 automata-theory  randomness  computability 

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

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 

मैं इस तरह के किसी भी मॉडल के बारे में नहीं सोच सकता, शायद टाइप किए हुए लंबो कैलकुलस का कोई रूप? कुछ प्राथमिक सेलुलर ऑटोमेटन? यह वुल्फराम के "कम्प्यूटेशनल इक्वलेंस का सिद्धांत" को लगभग नापसंद करेगा : लगभग सभी प्रक्रियाएं जो स्पष्ट रूप से सरल नहीं हैं, उन्हें समान …

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

1) क्या, यदि कोई हो, स्थैतिक टाइपिंग और औपचारिक व्याकरण के बीच संबंध है? 2) विशेष रूप से, क्या यह संभव है कि एक रैखिक बाउंड ऑटोमेटन के लिए यह जांचना संभव है कि क्या, सी + + या एसएमएल कार्यक्रम अच्छी तरह से तैयार है? एक नेस्टेड स्टैक ऑटोमेटन? …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference