এনএফএ কীভাবে এপসিলন স্থানান্তর ব্যবহার করে?

Question

নীচের ছবিতে, আমি এই এনএফএ ঠিক কী গ্রহণ করছে তা নির্ধারণ করার চেষ্টা করছি।

আমাকে কি বিভ্রান্ত করছে তা হল এ জাম্প ।কিউ $\epsilon$$q_0$

• যদি একটি প্রবেশ করানো হয়, সিস্টেমটি কি এবং উভয় (গ্রহণযোগ্য রাষ্ট্র) এ চলে যাবে?q 0 q $0$$q_0$ $q_1$

• যদি টি প্রবেশ করা হয়, তবে সিস্টেমটি কি এবং উভয় স্থানান্তরিত করে ?কি 1 কিউ $1$$q_1$$q_2$

• কোনও ইনপুট দেওয়া না হলে (খালি স্ট্রিং) সিস্টেমটি কি কেবল (স্টেট গ্রহণ করুন ) এ চলে যাবে?$q_1$

Comments

সংজ্ঞাগুলিতে ফিরে যান: একটি এনএফএ কোনও শব্দ গ্রহণ করে যদি তাতে কোনও গণনা গ্রহণ করে। এনএফএগুলি, প্রতি সেফ নয়, ডিএফএ অর্থে "অ্যালগরিদম"।

— রাফেল

Answer 1

প্রতিবার যখন আপনি রাষ্ট্র যা একটি আছে হয় রূপান্তরটি তার মানে আপনি স্বয়ংক্রিয়ভাবে আপনার কাছে এই প্রক্রিয়া সহজ করার জন্য, উভয় রাজ্যে আছেন:$\epsilon$

যদি স্ট্রিংটি তবে আপনার অটোমেটা Q 0 এবং q 1 এ উভয়ই শেষ হবে$\epsilon$$q_0$$q_1$

যদি আপনার স্ট্রিং '0' হয় তবে এটি আবার এবং q $q_0$$q_1$

যদি আপনার স্ট্রিং '1', এটি শুধুমাত্র থাকব , কারণ যদি তোমরা দৃষ্টিকোণ থেকে দেখুন কুই 0 , আপনি একটি '1' থেকে রূপান্তরটি আছে কুই 2 , কিন্তু আপনি তুমি যদি তাকান এছাড়াও আছে মধ্যে কুই 1 (যদি আপনি ছিল কুই 0 আপনি সবসময় ছিল কুই 1 এছাড়াও) তাহলে কোন '1' ট্রানজিশন, তাই এই বিকল্প পথ শুধু "ডাইস"।$q_2$$q_0$$q_2$$q_1$$q_0$$q_1$

শুধু এই ক্ষেত্রে দিকে তাকিয়ে তার সহজ আপনার অটোমাটা গ্রহণ দেখতে , 0 * , এবং থেকে যাচ্ছে কুই 0 থেকে কুই 1 , নাগালের করার একমাত্র উপায় কুই 2 হয় 0 * 11 * 1 , তাই, এই আপনার অটোমাটা শুরু ε , 0 ∗ , 0 ∗ 11 ∗$\epsilon$$0^*$$q_0$$q_1$$q_2$$0^*11^*1$$\epsilon$$0^*$$0^*11^*1$

আশা করি এটি আপনাকে সহায়তা করেছে, যদি আপনার আরও সন্দেহ থাকে তবে কেবল জিজ্ঞাসা করুন!

Comments

"এর অর্থ আপনি স্বয়ংক্রিয়ভাবে উভয় অবস্থায় রয়েছেন" - আমি মনে করি না যে এটি একটি সহায়ক অন্তর্দৃষ্টি, অর্থাত এটি একটি ভুল উপায়ে অ-নির্ধারণবাদকে উপস্থাপন করে।

— রাফেল

কেন এটি ভুল উপস্থাপন করে? ঠিক আছে, অ-নির্ধারণবাদে ব-দ্বীপের সংজ্ঞা অনুসারে, আপনি কেবলমাত্র 1 টির পরিবর্তে রাষ্ট্রের একটি সেট পেয়েছেন? এর অর্থ কেবলমাত্র আপনি উভয় রাজ্যেই থাকতে পারেন।

— H_DANILO

এটি অ-নিরস্তব্য মেশিনগুলি "সমান্তরালভাবে সমস্ত সমাধান চেষ্টা করে" এই ধারণাটি প্রচার করে। অ্যালগোরিদমিকভাবে বলতে গেলে তা হয় না। ননডেটেরিনিজম একটি বর্ণনামূলক আনুষ্ঠানিকতা, একটি অ্যালগরিদমিক কৌশল নয়।

— রাফায়েল

তাত্ত্বিক উপায়ে ননডেটেরাইমনিজম নীতিগুলি বোঝার জন্য দ্বিধা বোধ করার পরে আমি এটিকে একটি বোধগম্য উপায়ে রাখার চেষ্টা করেছি

— H_DANILO

@ রাফেল আপনার মতে আরও বেশি সহায়ক অন্তর্দৃষ্টি কী হতে পারে?

— আন্দ্রে পোর্টনয়

Answer 2

কোন ইনপুট না পড়ে রাষ্ট্রীয় এ এনএফএ উভয়ই Q 0 এবং (বিকল্প মহাবিশ্বে, যদি আপনি চান) থাকেন তবে এটি Q 1 তেও চলে আসে । এটি কোনও এনএফএ-তে ঘটে যাওয়ার অনুরূপ, যা একটি চরিত্রের ইনপুটটিতে দুটি রাজ্যে বিভিন্ন রূপান্তরিত হয়েছিল। বিশেষত, আপনার এনএফএ খালি স্ট্রিংটি গ্রহণ করে, যেহেতু কোনও ইনপুট এ এটি গ্রহণযোগ্য রাষ্ট্রের Q 1 তে রূপান্তর করতে পারে না ।$q_0$$q_0$$q_1$$q_1$

আপনার উদাহরণ অব্যাহত, রাষ্ট্র থেকে দেখা ইনপুট 0 , এটা রাষ্ট্র যে প্রতীক, থাকার গ্রাস করবে কুই 0 (লুপ) এবং রাজ্যের যেতে কুই 1 যার ফলে ইনপুট গ্রহণ, 0 । স্টেট কিউ 0 রিডিং ইনপুট 1 এ , এনএফএ 2 কিউ স্টেটে যাবে । এছাড়া গ্রাস নাও হতে পারে 1 , রাষ্ট্র পরিবর্তন কুই 1 অন্য মহাবিশ্ব এবং আটকে সেখানে পেতে (গ্রহণ এবং, যেহেতু এটি সমস্ত ইনপুট পড়তে নি), সেখান থেকে কোনো রূপান্তর যেহেতু কুই 1 একটি উপর 1 ।$q_0$$0$$q_0$$q_1$$0$$q_0$$1$$q_2$$1$$q_1$$q_1$$1$

দেখুন আপনি যদি নিজেকে বোঝাতে পারেন যে এই মেশিনটির দ্বারা গৃহীত ভাষাটি নিয়মিত এক্সপ্রেশন দ্বারা চিহ্নিত করা হয় , অর্থাৎ শূন্য বা তার বেশি 0 এর সমন্বিত কোনও স্ট্রিং এর পরে কিছুই হয় না বা দুটি বা তারও বেশি কিছু হয় না 1 গুলি।$0^*+0^*11^*1$$0$$1$

---

উপায় দ্বারা, সেখানে একটা অ্যালগরিদম যা দিয়ে একটি NFA লাগে ছাড়া একটি সমতুল্য NFA -moves এবং উত্পাদন করে ε -moves, যা আমি আশা আপনি খুব শীঘ্রই শিখবেন।$\epsilon$$\epsilon$

Answer 3

আমি এই এনএফএর জন্য ডিএফএ তৈরির চেষ্টা করেছি

- বর্ণমালা সেট$\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)$

- ইপিসিলন ক্লোজারের রিটার্নের সেটগুলি শূন্য বা তার বেশি ha এর বেশি পৌঁছনীয় - প্রতিটি আর ∈ আর এর জন্য সংযোগ$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')$

ডেভিড রিচার্বি ধন্যবাদ

Comments

আমাকে ধন্যবাদ দেওয়ার জন্য ধন্যবাদ তবে আমি সত্যিই দেখতে পাচ্ছি না এটি কীভাবে প্রশ্নের উত্তর দেয়। মেশিন কোন ভাষা গ্রহণ করে আপনি তা প্রতিষ্ঠিত করতে পারেন নি এবং আপনি বুলেটবিদ্ধ তিনটি প্রশ্নের কোনওটিতেই সম্বোধন করেন নি।

— ডেভিড রিচার্বি

$\epsilon$$\{q_0, q_1\}$$0$$0*$$\{q_0, q_1\}$