नियतात्मक पुशडाउन ऑटोमेटा की औपचारिक वर्णन में, वे अनुमति देते हैं चलता है, जहां मशीन पॉप या इनपुट से एक प्रतीक पढ़ने के बिना ढेर पर प्रतीकों धक्का कर सकते हैं। यदि इन be चालों की अनुमति नहीं है, और स्टैक को केवल एक बार प्रत्येक प्रतीक को पढ़ने के बाद संशोधित किया जा सकता है, तो परिणामी ऑटोमेटा DPPs के लिए शक्ति के बराबर हैं?
वहाँ कुछ तुच्छ मैं की Powerset का उपयोग कर के संबंध में याद आ रही है हो सकता है अपने नए रूप में Γ , "compress" के लिए आप की अनुमति देता है ε उनके बिना बराबर आटोमैटिक मशीन में चलता रहता है, तुम कैसे सेक कर सकते हैं के लिए इसी तरह ε एक DFA पर ले जाता है। बस ऐसा लगता है कि ऐसा रूपांतरण डीएफए के लिए उतना तुच्छ नहीं है, और मुझे यकीन नहीं है कि यह भी संभव है।
तो क्या सत्ता में दो बराबर हैं? मैं सिर्फ क्योंकि हर कोई मान लेना कि DPDAs है लगता है पूछ रहा हूँ चलता है और मैं सोच रहा हूँ क्यों कि इस धारणा है, मौजूद है, क्योंकि यह एक अधिक जटिल मॉडल की तरह लगता है।