প্রশ্ন ট্যাগ «semi-decidability»

আমরা ফাংশনগুলির গণনার ধারণা সম্পর্কে শিখেছি। অনুশীলনে, তারা প্রোগ্রামিং ভাষার সাথে মিল রাখে। একটি উত্তীর্ণ মন্তব্যে, অধ্যাপক উল্লেখ করেছিলেন যে সমস্ত মোট ফাংশনের শ্রেণি (অর্থাত প্রতিটি কার্যের জন্য সর্বদা সমাপ্ত ফাংশনগুলি) গণনাযোগ্য নয় । এর অর্থ হ'ল আমরা এমন একটি প্রোগ্রামিং ল্যাঙ্গুয়েজ তৈরি করতে পারি না যা আমাদের সমস্ত ফাংশন …

29 computability  semi-decidability  enumeration 

গুচ্ছ ধর্তব্য যদি এটা স্বাভাবিক সংখ্যার সঙ্গে একটি bijection আছে, এবং হয় computably গণনীয় (CE) একটি অ্যালগরিদম যে তার সদস্যদের উল্লেখ অস্তিত্ব আছে পারেন। যে কোনও অ-সসীম গণনাযোগ্য গণনাযোগ্য সেট অবশ্যই গণনাযোগ্য হতে হবে যেহেতু আমরা গণনা থেকে একটি স্রোত তৈরি করতে পারি। গণনাযোগ্য সেটগুলির এমন কোনও উদাহরণ রয়েছে যা …

15 computability  semi-decidability 

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

13 formal-languages  computability  turing-machines  undecidability  semi-decidability