ওভারল্যাপিং চক্রের সাথে একটি এনএফএকে কীভাবে নিয়মিত অভিব্যক্তিতে রূপান্তর করবেন?

Question

যদি আমি সঠিকভাবে বুঝতে পারি তবে এনএফএর নিয়মিত এক্সপ্রেশনগুলির মতো একই মত প্রকাশের ক্ষমতা রয়েছে। প্রায়শই, এনএফএ থেকে সমতুল্য নিয়মিত এক্সপ্রেশনগুলি পড়া সহজ: আপনি চক্রগুলি তারকা, জংশনগুলিকে বিকল্প হিসাবে অনুবাদ করেন। তবে এক্ষেত্রে কী করবেন:

^{[ উত্স ]}

ওভারল্যাপিং চক্রগুলি এই অটোমেটন কী গ্রহণ করে তা নিয়মিত করে তোলে (নিয়মিত প্রকাশের শর্তে)। কোন কৌশল আছে?

Comments

এটি ভাল হবে যদি আপনি ডায়াগ্রামে সূচনা করতে পারতেন প্রাথমিক এবং চূড়ান্ত রাজ্যগুলি কী: প্রাথমিক অবস্থায় একটি ছোট তীর এবং চূড়ান্ত রাষ্ট্র হিসাবে একটি দ্বৈত বৃত্ত। এছাড়াও, আপনি কী চেষ্টা করেছেন তার কোনও ইঙ্গিত না দিলে আপনি কোথায় ভুল করছেন তা জানা শক্ত।

— ডেভ ক্লার্ক

সম্ভবত এই দস্তাবেজটি আপনাকে সহায়তা করতে পারে: এটি কোনও এনএফএকে একটি আরইতে রূপান্তর করার জন্য এটি পরিষ্কারভাবে ব্যাখ্যা করে।

— ভোর

কেন এটা কঠিন? আপনি কি ক্যানোনিকাল অ্যালগরিদমগুলির একটি চেষ্টা করে দেখেছেন? আপনি করতে পারেন সেরা আনস্যাটজ কি?

— রাফেল

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

— রাফেল

আমার কাছে একটি উত্তর প্রস্তুত রয়েছে যা আপনার এনএফএকে একটি নিয়মিত অভিব্যক্তিতে রূপান্তরিত করে, তবে আমি এটি মুছে ফেলেছি: রাফেলের উত্তরটি আপনাকে নিজেরাই করার পদ্ধতিটি দেয় (এটি একটি উদাহরণের একটি লিঙ্কও দেয়), তাই আপনি যদি কিছু অনুশীলন করতে পারেন তবে চাই। আপনি যদি এখনও আমার সমাধান চান তবে আমি আমার উত্তরটি মুছে ফেলব।

— অ্যালেক্স দশ ব্রিংক

Answer 1

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

আমি এই গ্রন্থটি গত গ্রীষ্মে শিক্ষার্থীদের জন্য পদ্ধতিটি ব্যাখ্যা করে লিখেছিলাম । এটি সরাসরি একটি নির্দিষ্ট বক্তৃতার সাথে সম্পর্কিত; উল্লিখিত রেফারেন্স হ'ল নিয়মিত অভিব্যক্তিগুলির সাধারণ সংজ্ঞা। আর্দেনের লেমা (একটি প্রয়োজনীয় ফলাফল) এর একটি প্রমাণ রয়েছে; পদ্ধতির নির্ভুলতার জন্য একটি অনুপস্থিত। আমি বক্তৃতা হিসাবে এটি শিখেছি আমার একটি রেফারেন্স নেই, দুঃখের সাথে।

সংক্ষেপে: প্রতিটি রাজ্যের জন্য সমীকরণ তৈরি করুন$q_i$

$\qquad \displaystyle Q_i = \bigcup\limits_{q_i \overset{a}{\to} q_j} aQ_j \cup \begin{cases} \{\varepsilon\} &,\ q_i \in F \\ \emptyset &, \text{ else}\end{cases}$

যেখানে চূড়ান্ত রাজ্য এবং এর সেট কুই আমি একটি → কুই ঞ উপায়ে সেখান থেকে একটি রূপান্তরটি হয় কুই আমি করতে কুই ঞ দিয়ে লেবেল একটি । আপনি যদি ∪ হিসাবে + বা ∣ (আপনার নিয়মিত প্রকাশের সংজ্ঞা অনুসারে) পড়ে থাকেন তবে দেখতে পাবেন যে এটি নিয়মিত প্রকাশের সমীকরণ।$F$$q_i \overset{a}{\to} q_j$$q_i$$q_j$$a$$\cup$$+$$\mid$

(ব্যবহার করে এটি সমাধান ফাভেরশাম এর থিম ) এক রেগুলার এক্সপ্রেশন উৎপাদ প্রতি রাষ্ট্র যে ঠিক বর্ণনা এই কথাগুলো যে শুরু গ্রহণ করা করতে কুই আমি ; সুতরাং Q 0 (যদি q 0 প্রাথমিক অবস্থা হয়) হ'ল কাঙ্ক্ষিত অভিব্যক্তি।$Q_i$$q_i$$Q_0$$q_0$

প্রদত্ত অটোমেটনে অ্যাপ্লিকেশনটি অনুশীলন হিসাবে ছেড়ে গেছে; উপরের লিঙ্কযুক্ত নথিতে একটি সম্পূর্ণ উদাহরণ অন্তর্ভুক্ত ।

^{আমি এখানে অনুরূপ উত্তর পোস্ট করেছি যেখানে দেখুন ।}

Comments

অন্যান্য সাধারণ পদ্ধতির জন্য এই রেফারেন্স প্রশ্নটি দেখুন ।

— রাফেল

Answer 2

যদি কোনও লুপ ছাড়াই কেবল রাজ্যের একটি শৃঙ্খলা থাকে, আপনি কী করবেন তা জানতেন?

এই ওভারল্যাপিং ব্রাঞ্চিং ছাড়া যদি কোনও সরল লুপ থাকে তবে আপনি কী করবেন জানেন?

(উত্তরটি যদি "না" হয় তবে প্রথমে এই মামলাগুলি সম্পর্কে ভাবেন))

এখন, ধারণাটি হল অটোমেটনকে ক্রমবর্ধমানভাবে রূপান্তর করা যাতে এটি এমন একটি ফর্মে স্থাপন করা যায় যেখানে আপনি এই নিদর্শনগুলি দেখতে পাবেন: শৃঙ্খলা, লুপগুলি এবং ডাইভার্জিং পাথগুলি যা শেষ দিকে পুনঃব্যবস্থাপন করে (বিকল্পের দিকে পরিচালিত করে)। রূপান্তরের প্রতিটি পদক্ষেপে, খেয়াল রাখুন যে রূপান্তরিত অটোমেটন এখনও একই ভাষা স্বীকৃতি দেয়।

মনে রাখবেন যে এটি একটি অ- নির্ধারিত অটোমেটন। আপনি যে পোস্ট করেছেন সে হ'ল সংজ্ঞাবাদী বলে মনে হয়, তবে আপনি যখন এটি রূপান্তর করেন তখন সেভাবে থাকতে হবে না।

$q_2$$q_1 \xrightarrow{f} q_2 \xrightarrow{g} q_3$$q_4$$q_2$$q_5$$q_4 \xrightarrow{j} q_5 \xrightarrow{g} q_3$

$q_3,q_4,q_5$$q_3$$q_3$$(hjg)^*$

কোন রাজ্যগুলি চূড়ান্ত তা পরীক্ষা করার জন্য যত্ন নিন Take এটি প্রথমে এই সম্পর্কে উদ্বিগ্ন না হয়ে এবং একটি বড় লুপ তৈরি করতে সহায়তা করতে পারে, তারপরে লুপের মাধ্যমে পার্টওয়েতে শেষ হওয়া অংশগুলি নকল করুন।

এটি অগত্যা সর্বাধিক দক্ষ কৌশল বা সহজ নিয়মিত অভিব্যক্তি উত্পন্ন করার কৌশল নয়, তবে এটি সহজ।

Answer 3

Comments

এবং এই প্রশ্নের উত্তর দেয় কিভাবে?

— রাফেল

আপনি যদি এইভাবে রাজ্য মেশিনটি পুনরায় লেখেন তবে সমপরিমাণ নিয়মিত এক্সপ্রেশনটি পড়া এখন তুচ্ছ।

— Jukka Suomela

হতে পারে আপনার উত্তর পাঠ্যে এটি অন্তর্ভুক্ত করা উচিত। এটি কি সবসময় কাজ করে?

— রাফেল

@ রাফেল: এটি এই ক্ষেত্রে কাজ করে works :) এই কৌশলটির পিছনে সাধারণ ধারণাটি হ'ল: আমরা চক্রগুলি "সঠিকভাবে বাসা বেঁধে" করেছিলাম। অর্থাৎ আমাদের চক্রের কাঠামো নেই [(])তবে [()]।

— Jukka Suomela