शायद आप पहले से ही अपने बैग में ये मिल गए :-)
- एकतरफा वर्णमाला (Minsky61) पर दो तरह से एक काउंटर मशीन।
- दो तरह से कमजोर काउंटर मशीन (काउंटर पर गणना पर कोई प्रभाव नहीं पड़ता है लेकिन काउंटर शून्य तक पहुंचने पर मशीन रुक जाती है) [1]।
- क्वांटम वन काउंटर ऑटोमेटा [2]।
द्विआधारी अक्षर के साथ, शून्यता के लिए अनिर्दिष्ट है:
एक तरह से मशीनों के साथ एक अनबाउंड काउंटर और एक पुशडाउन स्टोर होता है जो कि अधिकांश एक को उलट देता है [3]।
दो-तरफ़ा मशीनें नियतकालिक परिमित ऑटोमेटा जिसमें कई उल्टे बंधे काउंटर (यहां तक कि एक बंधी हुई भाषा से अधिक) [3] हैं।
स्टेटलेस (संक्रमण केवल स्कैन किए गए प्रतीक पर निर्भर करते हैं) 2-हेड 2-वे निर्धारक परिमित ऑटोमेटा तब भी जब प्रत्येक सिर इनपुट टेप पर केवल एक उलटा बनाता है [4]।
संपादित करें : सीमा पर:
- (ओपन प्रॉब्लम) क्या दो-तरफ़ा नॉनडेर्मिनिस्टिक परिमित ऑटोमेटा के लिए शून्यता समस्या एक उलटी हुई गैर-बाध्य भाषाओं के साथ प्रतिहिंसा है? (बंधी हुई भाषाओं से अधिक यह निर्णायक है [5])
[१] तात-त्रिशंकु चान। टू-वे वीक काउंटर मशीनों पर । गणितीय प्रणाली सिद्धांत 01/1987;
[२] रिचर्ड एफ। बोनर, रुसिन्स फ्रीवाल्ड्स, और मक्सिम क्रावत्सेव। 2001. काउंटर के साथ क्वांटम बनाम प्रोबेबिलिस्टिक वन-वे परिमित ऑटोमेटा । थ्योरी और प्रैक्टिस ऑफ इंफॉर्मेटिक्स में मौजूदा 28 वें सम्मेलन की कार्यवाही Piestany: थ्योरी और प्रैक्टिस ऑफ इंफॉर्मेटिक्स (SOFSEM '01), लेसज़ेक पचोलस्की और पीटर रूज़िका (एड्स।)। स्प्रिंगर-वर्लग, लंदन, यूके, यूके, 181-190।
[३] ऑस्कर एच। इबारा। 1978. रिवर्सल-बाउंडेड मल्टीकलर मशीनें और उनकी निर्णय समस्याएं । जे। एसीएम 25, 1 (जनवरी 1978), 116-133।
[४] ऑस्कर एच। इबारा, जुहानी करहुमकी, अलेक्जेंडर ओखोटिन,स्टेटलेस मल्टीहेड ऑटोमेटा पर: पदानुक्रम और शून्यता की समस्या , सैद्धांतिक कंप्यूटर विज्ञान, खंड 411, अंक 3, 6 जनवरी 2010, पृष्ठ 581-593, ISSN 0304-3975।
[५] ज़ै डांग, ऑस्कर एच। इबारा, ज़ी-वेइ सन। एक उलट-बाउंड काउंटर के साथ दो-तरफा नेफा के लिए शून्यता की समस्याओं पर । प्रोक में। तेरहवें इंट। संगोष्ठी। एल्गोरिथम और संगणना पर (2002)