क्या दो डीएफए की समानता एक विकट समस्या है?

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)$

$L(A_\Delta)$

Answer 2

$D_1$$D_2$$D_1$$D_2$$D_1$$D_2$

$D_1$$D_2$

Comments

मेरा मानना ​​है कि आप डीएफए और उनकी समानता के "समानता" का सामना कर रहे हैं।

— ईनपोकलम

@einpoklum हां, मैं "समानता" के पर्याय के रूप में "समानता" शब्द का उपयोग करता हूं क्योंकि ओपी "समानता" शब्द का उपयोग करता है।

— fade2black

हालांकि, दोनों समान नहीं हैं। कम से कम करने के बाद भी, ऑटोमेटा समान नहीं हैं । हम उन्हें आइसोमॉर्फिक होने के लिए जानते हैं, हालांकि, जो निश्चित रूप से निर्णायक है (यदि समानता से अधिक कठिन है)।

— राफेल