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