मुझे लगता है कि यह सीएफएल के उपवर्ग के लिए संभव है जो बाइनरी वर्णमाला के साथ क्रमपरिवर्तन-अपरिवर्तनीय हैं।
ये दो सेटों के तुलना करते हुए टाइप करने के लिए क्वांटिफायर भाषाओं के प्रकार हैं । [१] डीपीडीए द्वारा समतुल्य अर्ध-समुच्चय सेट द्वारा स्वीकार की गई ऐसी भाषाओं की विशेषता है, और अंत में बताती है कि एनपीडीए द्वारा स्वीकृत क्वांटिफायर भाषाएं डीपीडीए द्वारा स्वीकार की गई ऐसी भाषाओं का सूक्ष्म संयोजन हैं।⟨1,1⟩
वैन बेंटेम ([2]) के एक प्रमेय का कहना है कि पुशडाउन ऑटोमेटा प्रिस्बर्गर अंकगणित (यानी सेमीलिअर सेट द्वारा परिभाषित) में टाइप _ लॉर्ड क्वांटिफायर को स्वीकार करता है। इसलिए, यदि आपको दो भाषाएं मिलती हैं जो गैर-नियतात्मक सीएफएल हैं (इस तरह के उदाहरणों को जानने के लिए पहले पेपर का उपयोग करके), तो उनका चौराहा भी इस प्रमेय द्वारा सीएफएल होना चाहिए।⟨1,1⟩
सेमीलिअर सेट जो कि उनका चौराहा है, की गणना करना थोड़ा मुश्किल हो सकता है ... लेकिन, अगर आपके पास ऐसा है, [3] (pgs.11-12) एनपीडीए बनाने के लिए एक एल्गोरिथ्म देता है, जो कि जनरेटर के आधार पर भाषा को स्वीकार करता है इसी सेमिनलियर सेट।
[१] मकोतो कानाज़ावा। नियतात्मक पुश डाउन ऑटोमेटा द्वारा पहचाना गया मोनाडिक क्वांटियर्स । 19 वीं एम्स्टर्डम बोलचाल की कार्यवाही में, पृष्ठ 139-146, 2013।
[२] जोहान वान बेंटेम। तार्किक शब्दार्थ में निबंध । लिंग्विस्टिक्स एंड फिलॉसफी वॉल्यूम 29, 1986, पीपी 151-176 में अध्ययन।
[३] मारसिन मोस्टोव्स्की। मौद्रिक क्वांटियर्स के लिए कम्प्यूटेशनल शब्दार्थ । एप्लाइड नॉन-क्लासिकल लॉजिक्स जर्नल, 8 (1-2): 107-121, 1998।