एनएफए एप्सिलॉन संक्रमण का उपयोग कैसे करता है?

नीचे दी गई तस्वीर में, मैं यह पता लगाने की कोशिश कर रहा हूं कि वास्तव में यह एनएफए क्या स्वीकार कर रहा है।

क्या मुझे भ्रमित कर रहा है पर कूद है । $\epsilon$ $q_0$

यदि कोई दर्ज किया गया है, तो क्या सिस्टम और (स्वीकार राज्य) दोनों पर ? $0$ $q_0$ $q_1$
यदि में प्रवेश किया जाता है, तो क्या सिस्टम और दोनों में ? $1$ $q_1$ $q_2$
क्या सिस्टम केवल (राज्य को स्वीकार करें), यदि कोई इनपुट नहीं दिया जाता है (खाली स्ट्रिंग)? $q_1$

automata finite-automata nondeterminism

परिभाषाओं पर वापस जाएं: एक एनएफए एक शब्द को स्वीकार करता है यदि उस पर कोई भी गणना स्वीकार करता है। NFAs नहीं हैं, प्रति से, अर्थ में DFA "एल्गोरिदम" हैं।

— राफेल

जवाबों:

हर बार जब आप एक राज्य में जो एक है में हैं संक्रमण, इसका मतलब है आप स्वचालित रूप से आप को यह आसान बनाने के लिए, दोनों राज्यों में कर रहे हैं: $\epsilon$

स्ट्रिंग है तो दोनों में अपने ऑटोमेटा समाप्त होता है और $\epsilon$ $q_0$ $q_1$

यदि आपका स्ट्रिंग '0' है तो यह और में फिर से होगा $q_0$ $q_1$

यदि आपकी स्ट्रिंग '1' है, तो यह केवल , क्योंकि यदि आप के बिंदु से देखते हैं , तो आपके पास '1' संक्रमण है , लेकिन आपको उस मामले को देखना होगा में (यदि आप में थे आप हमेशा में थे भी) तो कोई '1' संक्रमण है, इसलिए इस वैकल्पिक पथ बस "मर जाता है"। $q_2$ $q_0$ $q_2$ $q_1$ $q_0$ $q_1$

बस इन मामलों को देखकर अपनी आसान है कि आपके ऑटोमेटा स्वीकार करता है देखने के लिए , , और से जा रहा करने के लिए , पहुंच के लिए एकमात्र तरीका है , इसलिए, यह करने के लिए अपने ऑटोमेटा शुरू , , $\epsilon$ $0^*$ $q_0$ $q_1$ $q_2$ $0^*11^*1$ $\epsilon$ $0^*$ $0^*11^*1$

आशा है कि यह आपकी मदद करेगा, अगर आपको कोई और संदेह है, तो बस पूछें!

— H_DANILO
स्रोत

"इसका मतलब है कि आप स्वतः ही बीओटीएच राज्यों में हैं" - मुझे नहीं लगता कि यह एक सहायक अंतर्ज्ञान है, अर्थात यह गलत तरीके से गैर-नियतत्ववाद का प्रतिनिधित्व करता है।

— राफेल

यह इसे गलत क्यों दर्शाता है? खैर, गैर-नियतावाद पर डेल्टा की परिभाषा से, आपको केवल 1 के बजाय सही ढंग से राज्य का एक सेट मिलता है? इसका मतलब केवल यह हो सकता है कि आप दोनों राज्यों में हैं।

— H_DANILO

यह इस विचार को बढ़ावा देता है कि गैर-नियतात्मक मशीन "समानांतर में सभी समाधानों का प्रयास करें"। ऐसा नहीं है कि क्या होता है, एल्गोरिदम बोल रहा है। नॉनडेटर्मिनिज़्म एक वर्णनात्मक औपचारिकता है, न कि एक एल्गोरिथम तकनीक।

— राफेल

मैंने इसे समझने की कोशिश की, क्योंकि एक सिद्धांतिक तरीके से नॉनडेर्मिनिज़्म के सिद्धांतों को समझने में हिचकते हुए संघर्ष किया

— H_DANILO

@ राफेल आपकी राय में एक अधिक सहायक अंतर्ज्ञान क्या होगा?

— एंड्री पोर्टनॉय

राज्य किसी भी इनपुट को पढ़े बिना NFA दोनों में रहता है और (एक वैकल्पिक ब्रह्मांड में, यदि आप करेंगे) तो यह भी राज्य । यह एक एनएफए में ऐसा ही होगा जैसा कि एक चरित्र के इनपुट पर विभिन्न राज्यों में दो संक्रमण थे। विशेष रूप से, आपका NFA रिक्त स्ट्रिंग को स्वीकार करता है, क्योंकि बिना किसी इनपुट के यह स्वीकार स्थिति को संक्रमण बना सकता है । $q_0$ $q_0$ $q_1$ $q_1$

अपने उदाहरण को जारी रखते हुए राज्य से देखने इनपुट , यह राज्य में है कि प्रतीक, ठहरने का उपभोग होता (पाश) और यह भी राज्य के लिए जाना जिससे इनपुट को स्वीकार करने, । राज्य रीडिंग इनपुट , एनएफए राज्य । यह भी उपभोग नहीं कर सकते हैं , स्थिति पर परिवर्तन एक और ब्रह्मांड में और अटक वहाँ पाने (स्वीकार करते हैं और नहीं है, क्योंकि यह सभी इनपुट नहीं पढ़ी थी), वहाँ से कोई संक्रमण है, क्योंकि एक पर । $q_0$ $0$ $q_0$ $q_1$ $0$ $q_0$ $1$ $q_2$ $1$ $q_1$ $q_1$ $1$

यदि आप अपने आप को समझा सकते हैं कि इस मशीन द्वारा स्वीकार किए जाते भाषा नियमित अभिव्यक्ति से दर्शाया जाता है देखें , यानी, किसी भी स्ट्रिंग शून्य से मिलकर या अधिक सब या दो या अधिक पर या तो कुछ भी नहीं है, जिसके बाद रों। $0^*+0^*11^*1$ $0$ $1$

वैसे, वहाँ एक एल्गोरिथ्म है जिसके साथ एक NFA लेता है के बिना एक बराबर NFA -moves और पैदा करता है -moves है, जो मैं उम्मीद आप जल्द ही जान जाएंगे। $\epsilon$ $\epsilon$

— रिक डेकर
स्रोत

-1

मैंने इस NFA के लिए DFA के निर्माण की कोशिश की

- वर्णमाला सेट $\sum$

सेट सेट $Q$

राज्य समारोह $\sigma(Q\times (\sum \cup {\epsilon} )) \to P(Q)$

$q_0 = q_0$

$F \subseteq Q, F = \{q_0\}$

क्योंकि हर NFA है बराबर DFA DFA बना सकते हैं यह दिया NFA के लिए। $M'$

वर्णमाला - वही

- राज्यों $Q' = P(Q)$

$R \in P(Q)$

$E(R)$ $\epsilon$ $r \in R$

$\sigma'(R,a) = \bigcup_{r \in R} E(\sigma(r,a))$

$q'_{0} = E(\{q_0\})$

$F' = P(Q) \div F$

कुछ इस FSM पर गणना करते हैं

$1.$ $\epsilon$ $q'_{0} = E(\{q0\}) = \{q_0, q_1\}$ $q_1$ $\epsilon$

$2.$ $0*$ $\sigma'(\{q_0, q_1\}, 0) = E(\sigma(q_0,0)) \cup E(\sigma(q_1,0)) = \{q_0, q_1\} \cup \{ \} = \{q_0, q_1\}$ $0*$

$\{\epsilon, 0* \} \subset L (M')$

डेविड रिचर्जी को धन्यवाद

— OrangeFish
स्रोत

मुझे धन्यवाद देने के लिए धन्यवाद, लेकिन मैं वास्तव में नहीं देखता कि यह सवाल का जवाब कैसे देता है। आपने यह स्थापित नहीं किया है कि मशीन किस भाषा को स्वीकार करती है और आपने तीन बुलेटेड प्रश्नों में से किसी को भी संबोधित नहीं किया है।

— डेविड रिचेर्बी

ϵ

$\epsilon$

{q_{0}, q_{1}}

$\{q_0, q_1\}$

0

$0$

0 *

$0*$

{q_{0}, q_{1}}

$\{q_0, q_1\}$