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

ऑटोमेटा सिद्धांत, जिसमें अमूर्त मशीनें, व्याकरण, पार्सिंग, व्याकरणिक अनुमान, ट्रांसड्यूसर और परिमित-राज्य तकनीक शामिल हैं

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

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

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

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

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

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

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

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

2
है {
भाषा है { } विषय से मुक्त है या नहीं?एमैंख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 के बीच के संबंध …

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

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

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

2
एनएफए सार्वभौमिकता के लिए शर्तें
एक 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^* यह दिखाना आसान है, कि …

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

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

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.