দুটি ডিএফএ-এর সমতা কী একটি সিদ্ধান্ত গ্রহণযোগ্য সমস্যা?

Question

সুতরাং দুটি ডিএফএ দেওয়া হয়েছে, তারা যদি একই ভাষাটি একটি ডেসিটেবল সমস্যা তৈরি করে তবে এটির সমস্যা?

আমি ইতিমধ্যে জানি যে দুটি সিএফএল এর সমতা সিদ্ধান্ত নেওয়ার যোগ্য নয়

তবে দুটি ডিএফএর সমতা কী হবে? ডিএফএগুলির সাথে বেশিরভাগ সমস্যা নির্ধারণযোগ্য, বিবেচনা করা কি এই সিদ্ধান্তও গ্রহণযোগ্য?

Comments

হ্যাঁ, এটা মধ্যে রৈখিক সময় নির্ধার্য হয় drona.csa.iisc.ernet.in/~deepakd/atc-common/...

— এবিসি

কম্পিউটার বিজ্ঞানে স্বাগতম! আপনি কি চেষ্টা করেছেন? কোথায় আটকে গেলেন? আমরা আপনাকে কেবল সমাধানটি দিতে চাই না; আমরা আপনাকে বোঝার জন্য চান। তবে এটি হ'ল আপনার অন্তর্নিহিত সমস্যাটি কী তা আমরা জানি না, তাই আমরা সহায়তা করা শুরু করতে পারি না। অনুশীলনের সমস্যা সম্পর্কে প্রশ্ন জিজ্ঞাসার টিপসের জন্য এখানে দেখুন । আপনি যদি নিজের প্রশ্নটির উন্নতি করতে চান না তবে কম্পিউটার সায়েন্স চ্যাটে কেন জিজ্ঞাসা করবেন না ?

— রাফেল

Answer 1

দুটি ডিএফএ এ-এ একই সাথে উত্পন্ন ভাষাগুলি কিনা তা নির্ধারণের জন্য , একটি ডিএফএ প্রতিসম পার্থক্য , এবং কিনা তা পরীক্ষা করুন ।$A_1,A_2$$A_\Delta$$L(A_1) \Delta L(A_2) := (L(A_1) \setminus L(A_2)) \cup (L(A_2) \setminus L(A_1))$$L(A_\Delta) = \emptyset$

এখানে আরও কিছু বিবরণ দেওয়া হল। আপনি পণ্য নির্মাণ ব্যবহার করে নির্মাণ করতে পারেন : একটি পণ্য স্বয়ংক্রিয় তৈরি করুন এবং গ্রহণযোগ্য অবস্থার সেট হিসাবে ।$A_\Delta$$(F_1 \times \overline{F_2}) \cup (\overline{F_1} \times F_2)$

খালি আছে কিনা তা যাচাই করার জন্য , কিছু গ্রহণযোগ্য রাষ্ট্র প্রাথমিক অবস্থা থেকে পৌঁছনীয় কিনা তা পরীক্ষা করা যথেষ্ট এবং বিএফএস / ডিএফএস ব্যবহার করে এটি করা যেতে পারে can$L(A_\Delta)$

Answer 2

প্রদত্ত দুটি DFA তে এবং , এর সমতা এবং এবং পরীক্ষণ যদি এবং একই ভাষায় উৎপন্ন একই জিনিস।$D_1$$D_2$$D_1$$D_2$$D_1$$D_2$

হ্যাঁ, এই সমস্যাটি নির্ধারিত। আপনি এবং উভয়ই হ্রাস করতে পারেন এবং তাদের রূপান্তর কার্যগুলি তুলনা করতে পারেন । একটি ডিএফএ দেওয়া, মিনিমাইজেশন অ্যালগরিদম রাজ্যের সংখ্যা সর্বনিম্ন সংখ্যায় হ্রাস করে এবং এই ডিএফএ অনন্য। এখানে বিকল্প পদ্ধতি।$D_1$$D_2$

Comments

আমি বিশ্বাস করি আপনি ডিএফএ এবং তাদের সমতার "সমতা" কে স্বীকার করছেন।

— einpoklum

@ আইনপোকলুম হ্যাঁ, আমি "সমতা" শব্দটি "সমতা" এর প্রতিশব্দ হিসাবে ব্যবহার করি কারণ ওপি "সমতা" শব্দটি ব্যবহার করে।

— fade2black

যদিও দুটি একই নয়। ছোট করার পরেও অটোমেটা সমান নয় । আমরা তাদের আইসোমর্ফিক হিসাবে জানি, যদিও এটি অবশ্যই নির্ধারণযোগ্য (যদি সাম্যের চেয়ে সম্ভাব্যতর শক্ত হয়)।

— রাফেল