नियमित भाषा जो दो नियतात्मक सीएफजी के बीच भेदभाव करती है

Question

मान लीजिए कि आपको ऑटोमेटा नीचे दो नियतात्मक धक्का दिया जाता है जो भाषा और पहचानते हैं , और यह निर्धारित करने की इच्छा रखते हैं कि क्या कोई नियमित भाषा जैसे कि और । मूल रूप से, चुनौती यह निर्धारित करने के लिए है कि क्या कोई डीएफए है ​​जो यह पहचान सकता है कि किन दो भाषाओं में से कोई भी स्ट्रिंग आती है, यह देखते हुए कि यह उन भाषाओं में से एक से आती है।$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

क्या यह निर्णायक है? यदि हां, तो जटिलता क्या है? क्या डीएफए का निर्माण स्पष्ट रूप से किया जा सकता है?

Answer 1

Eryk Kopczyński [1] ने २०१५ में दिखाया कि नियमित भाषाओं द्वारा विज़ुअली पुशडाउन भाषाओं की विभाज्यता (जो आपकी समस्या का नाम है) अनिर्दिष्ट है। विज़ुअली पुशडाउन भाषाओं का वर्ग नियतात्मक CFL का एक सख्त उपसमूह है।

[१]: एरीक कोप्सीस्की, अदृश्य पुशडाउन भाषाएँ, LICS'16, https://arxiv.org/abs/1511.00289 पर उपलब्ध