নন-ডিস্ট্রিমেন্টিক ফিনাইট অটোমেটা | সিপসার উদাহরণ 1.16

Question

আমি সিপসার বুকের (দ্বিতীয় সংস্করণ) মাধ্যমে কাজ করছি এবং এই উদাহরণটি পেয়েছি, যা আমি বুঝতে পারি না। বইটিতে বলা হয়েছে যে এই এনএফএ খালি স্ট্রিং গ্রহণ করে, ।$\epsilon$

কেউ আমাকে চালাতে পারে কেন এই ঘটনাটি?

আমার উপলব্ধি হ'ল চলে যা কোনও গ্রহণযোগ্য রাষ্ট্র নয়।$\epsilon$$q_3$

Comments

এই usag উপর একটি ক্লাসিক প্রশ্ন হল একটি NFA হবে। এখানে একই উদাহরণ সম্পর্কে একটি প্রশ্ন , এপসিলনের একটি ইনপুট স্ট্রিংটির অর্থ কী? । N এনএফএ-ε এর প্রশ্নের অর্থও আছে? এবং এনএফএ কীভাবে এপসিলন স্থানান্তর ব্যবহার করে? $\epsilon$

— জন এল।

বিস্তৃত লিঙ্কগুলির জন্য ধন্যবাদ - আমি মনে করি এটি এখনই পেয়েছি।

— উত্তল চিতাবাঘ

Answer 1

আপনি একটি চিঠি দিয়ে বিভ্রান্ত করছেনএটি কোনও চিঠি নয়! এটি খালি স্ট্রিং।$\epsilon$

আসুন আমরা আরও কিছু সাধারণ মডেল, "শব্দ-এনএফএ" বিবেচনা করি। একটি শব্দ-এনএফএ একটি এনএফএর মতো, তবে প্রতিটি রূপান্তর একটি স্বেচ্ছাসেবী শব্দের সাথে লেবেলযুক্ত। আমরা যে শব্দ-NFA একটি শব্দ গ্রহণ করে যদি একটি চূড়ান্ত রাষ্ট্র যেমন যে যদি আমরা হাঁটার জুড়ে প্রান্ত লেবেল কনক্যাটেনেট, আমরা পেতে একটি প্রাথমিক অবস্থায় থেকে হাঁটার হয় । প্রতীক, একটি শব্দ-NFA গ্রহণ যদি ট্রানজিশন একটি ক্রম যেমন যে:$w$$w$$w$

$$q_0 \stackrel{w_1}\to q_1 \stackrel{w_2}\to q_2 \stackrel{w_3}\to \cdots \stackrel{w_n}\to q_n$$

1. $q_0$ একটি প্রাথমিক অবস্থা। (সাধারণ মডেল কেবলমাত্র একটি প্রাথমিক অবস্থার অনুমতি দেয় তবে আমরা সেই প্রয়োজনীয়তাটি শিথিল করতে পারি))
2. $q_n$ একটি চূড়ান্ত রাষ্ট্র (একে গ্রহণযোগ্য রাষ্ট্রও বলা হয়)।
3. প্রতিটি উত্তরণ the শব্দটি এনএফএ-র একটি সংক্রমণের সাথে মিলে যায়।$q_{i-1} \stackrel{w_i}\to q_i$
4. $w = w_1 \ldots w_n$ ।

একটি NFA একটি শব্দ-NFA যেখানে সমস্ত ট্রানজিশন অক্ষর দ্বারা লেবেলযুক্ত (অর্থাত, দৈর্ঘ্য শব্দের ঠিক 1), এবং একটি -NFA যেখানে সমস্ত ট্রানজিশন অক্ষর দ্বারা লেবেলযুক্ত এক বা (দৈর্ঘ্য এর অর্থাত, শব্দ সর্বাধিক 1)। সাধারণত আমাদের একটি অনন্য প্রাথমিক অবস্থা হওয়াও প্রয়োজন be$\epsilon$$\epsilon$

একটি শব্দ-NFA গ্রহণ যদি একটি ক্রম স্থানান্তর যেমন যে হয় ইনিশিয়াল রাষ্ট্র, একটি চূড়ান্ত রাষ্ট্র , এবং সমস্ত রূপান্তর বৈধ। বিশেষত, যদি কিছু রাজ্য প্রাথমিক এবং চূড়ান্ত উভয় হয়, তবে এনএফএ শব্দটি গ্রহণ করে (এই সংশ্লেষটিকে )।$\epsilon$

$$q_0 \stackrel\epsilon\to q_1 \stackrel\epsilon\to \cdots \stackrel\epsilon\to q_n$$ $q_0$$q_n$$\epsilon$$n = 0$

Comments

আহা, আপনাকে ধন্যবাদ এখনই এটি উপলব্ধি করে। এত স্বজ্ঞাতভাবে যখন আমরা পাই তখন আমাদের দুটি "শাখা" থাকে: এবং । যেহেতু একটি রাষ্ট্র, তাই আমরা গ্রহণ করি$\epsilon$$q1 \rightarrow q1$$q1 \rightarrow q3$$q1 \rightarrow q1$$\epsilon$

— উত্তল চিতাবাঘ

হ্যাঁ, এটি একটি দুর্দান্ত বর্ণনা।

— যুবাল ফিল্মাস