দৃশ্যমান পুশডাউন অটোমেটারের বিভিন্ন রূপ রয়েছে যা শব্দটিকে স্ট্যাকের উপরে ঠেলে দেয়?

আমি ভাবছি, এমন কোনও কাগজপত্র বা গবেষণা রয়েছে যা দৃশ্যমানভাবে পুডডাউন অটোমেটা নিয়ে ডিল করছে, তবে একক অক্ষরের পরিবর্তে শব্দগুলিকে স্ট্যাকের দিকে ঠেলে দেওয়ার অনুমতি দেয়।

পর্যায়ক্রমে, এমন একটি নির্মাণ যা প্রতীকগুলিকে ট্রান্সশিশনে চাপ দেওয়ার অনুমতি দেয় একই লক্ষ্য অর্জন করতে পারে। $\epsilon$

স্পষ্টতই, এই ধরণের বৈচিত্রগুলি গঠন করা যেতে পারে তবে আমি ভাবছি যে এটি যদি ভিপিএগুলিকে আকর্ষণীয় করে তোলে এমন ক্লোজার এবং ডেসিডেবলি বৈশিষ্ট্যগুলি নষ্ট করে if

আমি এমন একটি নির্মাণের দিকে তাকিয়ে আছি যেখানে স্ট্যাকটি কাউন্টার হিসাবে ব্যবহার করা হয়, এটি পড়ার প্রাথমিক চিহ্নগুলির উপর ভিত্তি করে ধ্রুবক দ্বারা বর্ধন করা, তারপরে পড়া অন্যান্য চিহ্নগুলির উপর ভিত্তি করে গণনা করা।

যে কেউ জানেন না তাদের পক্ষে দৃশ্যত পুশডাউন অটোমেটা হ'ল অক্ষরগুলিকে ধাক্কা দেওয়ার চিহ্নগুলিতে বিভক্ত করা যায়, প্রতীকগুলি পপিং করা যেতে পারে এবং চিহ্নগুলি স্ট্যাককে মোটেই প্রভাব ফেলেনি। পপিং বনাম পপিংয়ের পছন্দটি বর্তমান প্রতীকটি পড়ার দ্বারা সম্পূর্ণ নির্ধারিত হয়। এগুলি চৌরাস্তা, ইউনিয়ন, কনটেনটেশন, তারা এবং পরিপূরকের অধীনে বন্ধ রয়েছে, তাদেরকে সিদ্ধান্ত নেওয়ার যোগ্য সম্পদ প্রদান করে। আরও জানতে এই কাগজটি দেখুন।

— jmite
সূত্র

মনে হয় স্পষ্ট প্রশ্নটি এই যে অটোমেটা স্ট্যান্ডার্ড পুশডাউন অটোমেটার সমতুল্য "শব্দ" রাজ্যের ক্রমগুলিতে রূপান্তরিত হয়েছে? আফাইক, হ্যাঁ? যদি তা না হয় তবে এটি ব্যর্থ হয় এমন একটি ক্ষেত্রে উদাহরণস্বরূপ উদাহরণ সহায়ক হবে।

— vzn

@vzn তারা সমতুল্য হতে পারে না। দৃশ্যমান পিডিএগুলি কঠোরভাবে দুর্বল বলে মনে হচ্ছে। গতবার আমি যাচাই করেছি, সিএফএলগুলি চৌরাস্তার নিচে বন্ধ ছিল না।

— কাই

সুতরাং, VPDAs ছেদ অধীনে বন্ধ করা হয়, এবং তাদের মধ্যে সঠিকভাবে হিসেবে পরিচিত হয় এবং । যাইহোক, আমার রূপটি ছেদকৃতের অধীনে বন্ধ করা আছে কিনা আমার কোনও ধারণা নেই, সুতরাং এটি সমতুল্য হতে পারে। আমার সন্দেহ আছে, তবে আমি অনিশ্চিত।

R E G

$REG$

D C F L

$DCFL$

— jmite

এই কাগজ dx.doi.org/10.1145/1516512.1516518 ভিপিডিএগুলির একটি ব্যাকরণ বৈশিষ্ট্য দেয়, এবং ব্যাকরণ এবং ভিপিডিএর মধ্যে রূপান্তর করার জন্য একটি নির্মাণ দেয়। সম্ভবত ব্যাকরণ পুরো শব্দ ঠেলাঠেলি অনুকরণ করতে ব্যবহার করা যেতে পারে?

— এভেজেনিজ থর্স্টেনসেন

কেন একটি চিহ্নকে একটি শব্দ চাপানো ইপ-ট্রানজিশনের দিকে ধাক্কা দেওয়ার সমতুল্য হবে?

— ডোমোটরপ

এপিসিলনের সাথে ধাক্কা

এপসিলন-ট্রানজিশনে পুশ সহ সংস্করণটির জন্য, পুডডাউন-অটোমাতার সার্বজনীনতার অনস্বীকার্য প্রমাণটি এই নতুন সেটিংসের সাথে খাপ খাইয়ে নেওয়া যেতে পারে, তাই আমরা কমপক্ষে নিম্নলিখিত বৈশিষ্ট্যগুলি হারাতে পারি: পরিপূরক, নির্ধারণযোগ্যতা, সার্বজনীনতা এবং অন্তর্ভুক্তির অধীনে বন্ধকরণ।

প্রুফ স্কিম: একটি ট্যুরিং মেশিন নিন , আমরা অ্যাপসিলন-পুশ দিয়ে একটি ভিপিএ তৈরি করতে চাই যে এটি সর্বজনীন যদি কেবল এবং এম এর কোনও গ্রহণযোগ্য রান না থাকে তবেই। $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}})^{আর}

$\#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$

ভিপিএ ফর্মটির কারণগুলিতে পপ করতে বাধ্য হয় । অ নির্বিচারে উভয় সম্পত্তি লঙ্ঘনের অনুমান করতে পারে এবং এটি যাচাই করতে পারে। কী এটা হয় ধাক্কা পারেন , অথবা কিছুই, যা সব শর্ত (আসলে তাদের লঙ্ঘনের অনুমান) যাচাই করতে পারবেন না। বিশেষ করে, এটা অনুমান করতে পারেন যে প্রথম (বা দ্বিতীয়) occurence না মেলে , অন্যান্য উপাদান উপেক্ষা দ্বারা। এটি অনুমান করতে পারে যে $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'$

— ডেনিস
সূত্র