এক-পাল্টা সহ একমুখী অটোম্যাটাকে কিছু অবিচ্ছিন্ন অ-নিয়মিত ভাষা চিনতে পারে?

Question

একমুখী বিকল্প পুশডাউন অটোমেটা (1APDA) কোনও শব্দ চিনতে পারে চন্দ্র, কোজেন এবং স্টকমেয়ার দ্বারা আবর্তন, 1981) । কাউন্টার দিয়ে 1 এপিডিএর পুশডাউন স্টোরেজটি প্রতিস্থাপনের মাধ্যমে আমরা ওয়ান-কাউন্টার (1ACA) দিয়ে একমুখী বিকল্প অটোমেটন পেতে পারি। আমার প্রশ্নটি অ্যারারি ভাষাগুলিতে 1ACA সম্পর্কিত।$DTIME(2^{O(n)})$

1ACAs কিছু অনার্য নিয়মিত ভাষা চিনতে পারে ?

নোট করুন যে একমুখী ননডেটেরিস্টিনিস্টিক পুশডাউন অটোমাতা কেবল অবিচ্ছিন্ন নিয়মিত ভাষাগুলি সনাক্ত করতে পারে।

Answer 1

হ্যাঁ. বিবেচনা করুন ভাষা এবং একটি একমুখী পর্যায়ক্রমে এক-পাল্টা যন্ত্রমানব স্বীকৃতি গঠন করা এল নিম্নলিখিত পদ্ধতিতে। প্রথমত, অটোমেটন কাউন্টারটির মান বাড়ানো শুরু করে এবং কখন থামবে তা অনুমান করে, অর্থাত্ কিছু মান মি করে । তারপর এটি সর্বজন শাখা: প্রথম শাখা চেক যে ইনপুট দৈর্ঘ্য অবিকল হয় 2 মি , এবং দ্বিতীয় শাখা প্যাচসমূহ আছি ইনপুটের এগিয়ে কোষ এবং চেক যে বাকি রয়েছে $L = \{ a^n \mid n = 2^s, s \geq 0 \}$$L$$m$$2 m$$m$$L$, প্রাথমিক নিয়ন্ত্রণ স্থিতিতে গিয়ে। এখন একটি বেস কেস যুক্ত করুন: ইনপুট টেপটি প্রারম্ভিক অবস্থায় অবিচ্ছিন্ন অনুমান করে, ইনপুট টেপটি দৈর্ঘ্যের হ'ল ডিভাইসটিকে গ্রহণ করতে দিন । যে নির্মাণ সম্পূর্ণ।$1$

একইভাবে, একটি ফর্মের পণ্য পেতে পারেন সঙ্গে, ট 1 , ... , ট দ স্থায়ী ও গুলি 1 , ... , গুলি দ নির্বিচারে।$n = k_1^{s_1} \ldots k_r^{s_r}$$k_1, \ldots, k_r$$s_1, \ldots, s_r$

Comments

উত্তরের জন্য ধন্যবাদ. পাভোল ডুরিস (ব্যক্তিগত যোগাযোগের মাধ্যমে) থেকে আমি একই উত্তর পেয়েছি যা শীঘ্রই একটি কাগজে হাজির হবে। অনলাইনে কাগজটি প্রকাশের পরে উত্তর পোস্ট করার পরিকল্পনা করছিলাম। (আরও শক্তিশালী ফলাফল হতে পারে।) যাইহোক, আপনার উত্তর অবশ্যই গ্রহণযোগ্য উত্তর !

— আবুজার ইয়াকারিয়ালমাজ