প্রশ্ন ট্যাগ «linear-bounded-automata»

কমপক্ষে আমার নিজস্ব রেফারেন্স পাঠ্যপুস্তকে (হপক্রফ্ট + উলম্যান 1979) টিউরিং মেশিনের (টিএম) প্রাথমিক সংজ্ঞাটি হ'ল ডিস্ট্রিমেন্টিক। তাই থামার সমস্যাটি সম্পর্কে আমার নিজের বোঝাপড়াটি মূলত ডিটারমিনিস্টিক টিএম এর জন্য, যদিও আমি সচেতন যে এটি অন্যান্য ধরণের অটোমেটার জন্য বিবেচিত হতে পারে। আমি আরও লক্ষ্য করেছি যে স্থিরতাবাদ প্রায়শই টিএম বা থামানো …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

আমি উইকিপিডিয়া এবং অন্য কিছু গ্রন্থে পড়েছি যে থামানো সমস্যা হ'ল [...] সীমাবদ্ধ স্মৃতিযুক্ত রৈখিক বাউন্ডেড অটোমাতা (এলবিএ) [এবং] নির্মাতারা মেশিনগুলির জন্য সিদ্ধান্ত গ্রহণযোগ্য। তবে এর আগে এটি লেখা হয়েছিল যে থামানো সমস্যা একটি অনস্বীকার্য সমস্যা এবং এভাবে টিএম এটি সমাধান করতে পারে না! যেহেতু এলবিএকে এক ধরণের টিএম হিসাবে …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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

11 finite-automata  computation-models  linear-bounded-automata