मैं वर्तमान में कुछ औपचारिक भाषा अनुसंधान कर रहा हूं जिसमें नियमित से ऊपर की भाषाएं शामिल हैं लेकिन संदर्भ मुक्त से नीचे। मैं रिवर्सल-बाउंडेड मल्टीकाउंटर मशीन, सिंगल-स्टैक काउंटर मशीन, निर्धारक सीएफएल आदि जैसी चीजों को देख रहा हूं।
अगर कोई अच्छी किताब या सर्वेक्षण पत्र जानता है जो इन भाषाओं के गुणों को रेखांकित करता है तो मुझे आश्चर्य हो रहा है। मैं जो देख रहा हूं, उसमें से अधिकांश मेरे होपक्रॉफ्ट-उल्मैन पुस्तक में, यहां तक कि 1979 के संस्करण में भी अस्पष्ट या बहुत नया है।
मुख्य रूप से मैं देख रहा हूँ कि कौन सी भाषा वर्ग एक-दूसरे में समाहित हैं, इन भाषाओं के क्लोजर गुण, और इन भाषाओं पर बुनियादी समस्याओं (एफ-समस्याओं) की निर्णायकता।
इस संदर्भ में मैं जिन चीजों का उदाहरण देखूंगा:
- क्या सभी भाषाएं रिवर्सल-बाउंडेड मल्टी-काउंटर मशीनों द्वारा स्वीकार की जाती हैं, जिन्हें गैर-रिवर्सल-बाउंड सिंगल काउंटर मशीनों द्वारा भी स्वीकार किया जाता है?
- क्या नियतात्मक उलट-बसी मल्टीकाउंटर भाषाएं बाएं और दाएं संघात के तहत बंद हैं?
- क्या एकल-काउंटर मशीनों के लिए सार्वभौमिकता निर्णायक है।
ये केवल उदाहरण के प्रश्न हैं, मेरे पास कई अन्य हैं जो मेरे दिन-प्रतिदिन के काम में आते हैं।
एक शुरुआती बिंदु के रूप में, मैंने ट्रेसिंग की कोशिश की है कि कौन से कागजात ऑस्कर इबारा की "रिवर्सल-बाउंडेड मल्टीकलर मशीनें और उनके निर्णय की समस्याएं" का हवाला देते हैं, लेकिन बहुत कुछ नहीं मिला है।