আপডেট: মনে হচ্ছে এই সমস্যাটি অধ্যয়ন করা হয়েছে এবং সম্প্রতি সমাধান হয়েছে, এই উইকি নিবন্ধটি দেখুন: http://en.wikedia.org/wiki/Tree_walking_automaton এবং এই সমীক্ষা: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf
মনে করুন যে শব্দের সাধারণ সেট, set 0,1 * * এর পরিবর্তে আমাদের শব্দগুলি রৈখিক নয় বরং কিছু গাছের কাঠামোর উপর দেওয়া হয়েছে। আমাদের মেশিনগুলি "হারিয়ে যাওয়া" রোধ করতে, আমাদের শব্দগুলিকে বাইনারি, এমবেডেড আরবোরাসেন্সের সেট হিসাবে সংজ্ঞায়িত করুন। (সুতরাং প্রতিটি শব্দই একটি গাছ, যেখানে প্রতিটি প্রান্তটি একটি মূলকে যে দুটি ডিগ্রি ডিগ্রি রয়েছে তার থেকে দূরে সরে যায়, অন্য প্রতিটি পাতাগুলি বিহীন ভার্টেক্সে তিন ডিগ্রি থাকে এবং প্রতিটি প্রান্তটি বাম বা ডান লেবেলযুক্ত যে কোনও দুটি প্রান্ত থেকে শুরু হয় একই ভার্টেক্সে বিভিন্ন লেবেল রয়েছে)) ভাষা এই জাতীয় গাছগুলির একটি সেট। (নোট করুন যে শিখরগুলি লিখতে হবে না এবং শিখরগুলি লিখতে হবে কারণ সেগুলি স্থানীয়ভাবে গাছগুলি সংশোধন করে অনুকরণীয় হতে পারে)) যখন কোনও মেশিন "গাছ পড়ছে", এটি মূল থেকে শুরু হয়, প্রদত্ত হলে তা বুঝতে পারে শীর্ষস্থানটি মূল,
এই মডেলটিতে কি সত্য যে কোনও ভাষা যে কোনও অ-সংজ্ঞা-বিহীন সসীম রাষ্ট্র অটোমেটনের দ্বারা স্বীকৃত হতে পারে সেগুলিও একটি নির্বাহী সসীম রাষ্ট্রের অটোমেটনের দ্বারা স্বীকৃত হতে পারে?
মনে রাখবেন যে টেপটি যখন সাধারণ লিনিয়ার টেপ হয় তখন এটি সত্য, যে কোনও 2-এনএফএ 2-ডিএফএ (এমনকি কোনও ডিএফএ সহ) সিমুলেট করা যায়। আমি ইতিমধ্যে এখানে সমস্যার একটি বিশেষ উদাহরণ জিজ্ঞাসা করেছি যা ক্রিস্টোফার সমাধান করেছিলেন । প্রেরণা সমাধান করতে হবে এই ।