क्या दृश्यमान पुशडाउन ऑटोमेटा के वेरिएंट हैं जो स्टैक पर शब्दों को आगे बढ़ाने की अनुमति देते हैं?

मैं सोच रहा था, क्या कोई कागजात या शोध दृष्टिगोचर पुशडाउन ऑटोमेटा के साथ काम कर रहे हैं, लेकिन स्टैक पर धकेलने के लिए एकल अक्षरों के बजाय शब्दों की अनुमति दे रहे हैं।

वैकल्पिक रूप से, एक निर्माण जिसने प्रतीकों को आगे बढ़ाने की अनुमति दी $\epsilon$ -transitions इसी लक्ष्य को प्राप्त कर सकता है।

जाहिर है, इस तरह की विविधताएं बन सकती हैं, लेकिन मैं सोच रहा हूं कि क्या यह क्लोजर और डेसिडेबिलिटी गुणों को बर्बाद कर देता है जो वीपीए को दिलचस्प बनाते हैं।

मैं एक निर्माण को देख रहा हूं जहां स्टैक को काउंटर के रूप में उपयोग करते हैं, इसे शुरुआती प्रतीकों के आधार पर स्थिरांक द्वारा पढ़ा जाता है, फिर नीचे पढ़े गए अन्य प्रतीकों के आधार पर गणना की जाती है।

जो कोई नहीं जानता है, उसके लिए नेत्रहीन पुशडाउन ऑटोमेटा वे हैं जहां वर्णमाला को धक्का प्रतीकों में विभाजित किया जा सकता है, प्रतीकों को पॉप करना और प्रतीकों को स्टैक को बिल्कुल प्रभावित नहीं करना। बनाम पॉपिंग को पुश करने का विकल्प पूरी तरह से वर्तमान प्रतीक द्वारा पढ़ा जा रहा है। वे चौराहे, संघ, संघ, स्टार और पूरक के तहत बंद हो जाते हैं, जिससे उन्हें पर्णपाती गुणों का खजाना मिलता है। इस पेपर को और देखें ।

— jmite
स्रोत

ऐसा लगता है कि स्पष्ट सवाल यह है कि क्या ऐसे ऑटोमेटा राज्यों के अनुक्रमों में परिवर्तित "शब्दों" के साथ मानक पुशडाउन ऑटोमेटा के बराबर हैं? afaik, हाँ? यदि नहीं, तो एक ऐसे मामले का उदाहरण जहां यह विफल रहता है, यह मददगार होगा।

— vzn 15

@vzn वे समकक्ष नहीं हो सकते। दृष्टिहीन पीडीए कड़ाई से कमजोर लगते हैं। पिछली बार जब मैंने जाँच की, तो सीएफएल चौराहे के नीचे बंद नहीं थे।

— काई

तो, VPDA चौराहे के नीचे बंद हैं, और

और

बीच ठीक से जाना जाता है । हालांकि, मुझे पता नहीं है कि अगर मेरा वेरिएंट चौराहे के नीचे बंद है, तो यह समकक्ष हो सकता है। मुझे शक है कि यह है, लेकिन मैं अनिश्चित हूँ।

R E G

$REG$

D C F L

$DCFL$

— 15

यह पेपर dx.doi.org/10.1145/1516512.1516518 VPDAs का व्याकरण लक्षण वर्णन करता है, और व्याकरण और VPDA के बीच रूपांतरण के लिए एक निर्माण करता है। संभवत: व्याकरण का उपयोग संपूर्ण शब्दों को आगे बढ़ाने के लिए किया जा सकता है?

— फ्रेड थोरस्टेंसन

प्रतीक पर एक शब्द को धक्का देना ईपीएस-संक्रमण पर पुश करने की अनुमति के बराबर क्यों होगा?

— डोमटोटर

एप्सिलॉन के साथ धक्का

एप्सिलॉन-ट्रांज़िशन पर पुश के साथ संस्करण के लिए, पुशडाउन-ऑटोमेटा की सार्वभौमिकता का अनिर्वायता प्रमाण इस नई सेटिंग के लिए अनुकूलित किया जा सकता है, इसलिए हम कम से कम निम्नलिखित गुणों को खो देते हैं: पूरकता के तहत बंद, निर्धारकता, सार्वभौमिकता और समावेशन की गिरावट।

सबूत योजना: ट्यूरिंग मशीन लें , हम एप्सिलॉन-पुश के साथ एक वीपीए का निर्माण करना चाहते हैं जैसे कि यह सार्वभौमिक है अगर और केवल एम को कोई स्वीकृति नहीं है। $M$ $A$

हम ऐसे डिजाइन करते हैं जैसे कि कोई शब्द स्वीकार नहीं किया जाता है और केवल यह फॉर्म का है: $A$

कहां

# C_{0} & C_{0} $ (\bar{C_{0}})^{R} # C_{1} & C_{1} $ (\bar{C_{1}})^{R} # C_{2} & C_{2} $ (\bar{C_{2}})^{R} \dots # C_{n} & C_{n} $ (\bar{C_{n}})^{R}

$\#C_0\&C_0\$(\overline{C_0})^R\#C_1\&C_1\$(\overline{C_1})^R\#C_2\&C_2\$(\overline{C_2})^R\dots\#C_n\&C_n\$(\overline{C_n})^R$

प्रत्येक , का एक मान्य कॉन्फ़िगरेशन एनकोड करता है $C_i$ $M$
प्रारंभिक है, स्वीकार कर रहा है $C_0$ $C_n$
एक शब्द के विपरीत है $u^R$ $u$
की एक प्रति हैपॉप अक्षरों का प्रयोग कर $\overline{u}$ $u$
के वर्णमाला में विशेष अलगाव प्रतीक नहीं हैं $\#,\&,\$$ $M$
हमेशा का एक वैध संक्रमण है $C_i\to C_{i+1}$ $M$

$A$ $C_i^R$ $A$ $C_i$ $C_i$ $(\overline{C_i})^R$ $C_i\to C_{i+1}$ $C_i$ $C_{i+1}$ $(\overline{C_{i+1}})^R$ $C_j$ $(\overline{C_j})^R$

शब्दों को धक्का देना

$(S,R,u)$ $u\in A^*$ $a$ $(S,R,va)$ $(S',R',v)$ $S'$ $R'$

— डेनिस
स्रोत