ডিপিডিএগুলি কি


16

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

কিছু তুচ্ছ আমি পাওয়ারসেট ব্যবহার বিষয়ে অনুপস্থিত করছি হতে পারে আপনার নতুন হিসাবে Γ , "কম্প্রেস" এ অনুমতি ε তাদের ছাড়া সমতুল্য যন্ত্রমানব মধ্যে প্যাচসমূহ, আপনি কিভাবে কম্প্রেস করতে পারেন অনুরূপ ε একটি DFA তে চলে আসে। কেবল এটি দেখে মনে হয় যে এই ধরণের রূপান্তরটি ডিএফএগুলির মতো তুচ্ছ নয়, এবং আমি নিশ্চিত যে এটি এমনকি সম্ভবও নয়।ΓΓϵϵ

তাহলে কি ক্ষমতায় দুজন সমান? আমি শুধু কারণ সবাই অনুমান করা যে DPDAs আছে বলে মনে হয় জিজ্ঞেস করছি প্যাচসমূহ এবং আমি ভাবছি করছি কেন যে ধৃষ্টতা, বিদ্যমান, যেহেতু এটি একটি জটিল মডেল মত মনে হয়।ϵ


ঠিক আছে. তাহলে কি কেবল কারণগুলির সাথে কেবল study নিয়ে অধ্যয়ন করার কোনও কারণ আছে ? ϵ
ফিলিইডা

1
তাই আমি ঠিক বুঝতে পেরেছি আপনি আসলে চিনতে পারে । আপনি কেবল একটি গ্রহণ রাজ্যের শুরু, তারপর প্রথম পড়া উপর একটি , আপনি ধাক্কা & স্ট্যাকের সম্মুখের, এবং দ্বিতীয় পড়া উপর একটি আপনি স্ট্যাকের সম্মুখের # ধাক্কা। এর পরে, আপনি একটি লিখতে একটি যে অপরের জন্য স্ট্যাকে একটি , আপনি পড়তে দিয়ে শুরু একটি আপনি স্ট্যাক পৌঁছাতে # ঠেলাঠেলি পর পড়া। L={a2nbn}aaaaa
ফিলিইডা

তারপর, যদি আপনি একটি পঠন বুদ্ধিমান যখন আপনার একটি বিজোড় সংখ্যা পড়া একটি 's আপনি (ক আটকে রাষ্ট্র বসতে) প্রত্যাখ্যান, অন্যথায় আপনি অন্য দশায় গিয়ে একটি ধাক্কা একটি স্ট্যাক বন্ধ করুন। আপনি প্রতিটি পড়ার জন্য এটি পুনরাবৃত্তি । ঘটনাক্রমে পার্স করার সময় যদি , # একটি পরিবর্তে স্ট্যাক শীর্ষে একটি , একটি রাষ্ট্র গ্রহণ লিখুন। তারপরে আর কোনও প্রতীক পড়লে একটি প্রত্যাখ্যানিত স্থিতি প্রবেশ করান। উপরে উল্লিখিত বিষয়গুলির চেয়ে পৃথক যে কোনও ক্ষেত্রে, একটি প্রত্যাখাত অবস্থায় প্রবেশ করুন। ওইটা কি কাজ করে? baabba
ফিলিইদা

আমার ভাল লাগছে।
ক্লাউস ড্রায়ার

1
আমি ভুল হলে আমাকে সংশোধন করুন, তবে আমি সম্মত। আমি এও বিশ্বাস করেন যে আপনি পারবেন না চিনতে একটি DPDA সঙ্গে যে সবসময় সঠিক ইনপুটে টেপ (কখনো বাঁধন) এ চলে আসে। একমাত্র কৌতুকপূর্ণ অংশ এটি চূড়ান্ত অবস্থায় শেষ করছে। ডিপিডিএর জন্য গ্রহণযোগ্যতা জটিল হতে পারে। {a2nbn}
মাইকেল ওয়েহার

উত্তর:


18

সম্ভবত আমি এতে কিছু প্রাসঙ্গিক তথ্য পেয়েছি:

জিন-মিশেল অউবার্ট, জিন বার্স্টেল, লুক বোসন; প্রসঙ্গমুক্ত ভাষা এবং পুশডাউন অটোমেটা; সাধারণ ভাষার হ্যান্ডবুক; 1997, পিপি 111-174

ছাড়া DPDAs -transitions হিসাবে পরিচিত হয় রিয়েলটাইম নির্ণায়ক pushdown অটোমাটাϵ

উদাহরণস্বরূপ, তারা ডিপিডিএর চেয়ে কম শক্তিশালী

L={anbpcanp,n>0}{anbpdbpp,n>0}

ডিটারমিনিস্টিক এবং এটি কোনও ডিপিডিএ দ্বারা স্বীকৃত হতে পারে তবে কোনও রিয়েলটাইম ডিপিডিএ দ্বারা স্বীকৃত হতে পারে না ।

আপনি কি করতে পারেন হয় নিষ্কাশন বৃদ্ধি -transitions:ϵ

প্রোপজিসন 5.4 : কোন DPDA জন্য এটি সম্ভব একই ভাষায় যেমন যে কোনো স্বীকৃতি একটি DPDA গঠন করা -rule হ্রাস পাচ্ছে।ϵ


1
অান্তরিক ধন্যবাদ! সুতরাং এটি আমার প্রশ্নের প্রথম অংশের উত্তর দেয়। দ্বিতীয় অংশটি হ'ল - আমরা কেন এগুলি অধ্যয়ন করি না? প্রত্যেকে অ-রিয়েল-টাইম বিষয়গুলিতে মনোযোগ নিবদ্ধ বলে মনে হয় এবং এটি আমার কাছে অদ্ভুত বলে মনে হয়।
ফিলিইদা

2
@ ড্যানিয়েলেসাইনগাইন: আপনার চারপাশে গুগল করা আরডিপিডিএ সম্পর্কে কিছু ফলাফল পেতে পারে, উদাহরণস্বরূপ, সমতা সমস্যা হ্রাসযোগ্য । তবে আমি আপনার সাথে একমত, তারা খুব একটা মনোযোগ আকর্ষণ করেনি।
মারজিও দে বায়াসি
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.