মোট নির্ভুলতা এবং আংশিক নির্ভুলতার মধ্যে পার্থক্য কী?


উত্তর 1:

মোট নির্ভুলতার স্পেসিফিকেশন হ'ল আংশিক নির্ভুলতার স্পেসিফিকেশন। আংশিক নির্ভুলতা দুর্বল কারণ সিদ্ধান্তে আসতে 'এস টার্মিনেটস' এর অতিরিক্ত সহায়তা প্রয়োজন: চূড়ান্ত অবস্থায় রয়েছে আর।

আংশিক নির্ভুলতার নির্দিষ্টকরণের জন্য {কিউ} এস {আর}, আপনি নিম্নলিখিত তথ্যগুলি পেতে পারেন: একটি প্রারম্ভিক রাষ্ট্র দেওয়া যা Q কে সন্তুষ্ট করে, এস সমাপ্ত হতে পারে বা নাও পারে। যদি এস সমাপ্ত হয়, এস এর মৃত্যুদন্ডের পরে, আপনি একটি চূড়ান্ত অবস্থায় পৌঁছে যাবেন যা আর কে সন্তুষ্ট করে If যদি না হয় তবে চূড়ান্ত অবস্থা না থাকায় আর অকেজো।

উদাহরণ স্বরূপ:

{এক্স == 10}
যখন (y! = 0):
    y = y - 1
x = 0
{এক্স == 0}

এটি আংশিক নির্ভুলতার স্পেসিফিকেশন। যদি y এর সংখ্যার সমান বা 0 এর চেয়ে বেশি সংখ্যার সাথে আরম্ভ করা হয়, এস সমাপ্ত হবে এবং এর পরে x 0 হবে তবে y যদি aণাত্মক সংখ্যার সাথে শুরু হয়, এস চিরতরে লুপ হয়ে যাবে এবং যেহেতু এটি সমাপ্ত হয় না, আপনি কোনও অবস্থায় পৌঁছাতে পারবেন না ' এস এর ফাঁসি কার্যকর হওয়ার পরে।

আসলে এস আর ডেড লুপ হলে আর কিছু হতে পারে। উদাহরণস্বরূপ, যে কোনও প্রশ্নোত্তর ও আর এর জন্য:

{প্রশ্ন}
(সত্য):
    y = y - 1
{R}

সর্বদা আংশিক নির্ভুলতার স্পেসিফিকেশন।

যদি প্রশ্নটি যথেষ্ট শক্তিশালী না হয় তবে আপনি এস এর সমাপ্তির গ্যারান্টি দিতে পারবেন না, এস এর মৃত্যুদন্ডের পরে রাজ্য সম্পর্কে একা যুক্তি দিন। এই ক্ষেত্রে আপনি ম্যানুয়ালি একটি শর্ত যুক্ত করতে পারেন: এস সমাপ্ত। প্রশ্ন এবং এটি দিয়ে যুক্তি অবিরত থাকতে পারে।

মোট নির্ভুলতার স্পেসিফিকেশন {কিউ} এস {আর} এর জন্য, কিউ এস এর সমাপ্তির গ্যারান্টি দিতে যথেষ্ট শক্তিশালী, তাই আপনি এই সিদ্ধান্তে আসতে পারেন যে এস সমাপ্ত হবে এবং চূড়ান্ত অবস্থা আর কে সন্তুষ্ট করবে।

উদাহরণ স্বরূপ:

{x == 10}
(x! = 0):
    x = x - 1
{x == 0}

মোট নির্ভুলতার স্পেসিফিকেশন।

বিটিডাব্লু: উত্তরটি সঠিক কিনা তা আমি নিশ্চিত নই কারণ প্রশ্নটি রাজনৈতিক সঠিকতার সাথে ট্যাগ করা আছে। প্রশ্নটিতে সংজ্ঞাটি কম্পিউটার সায়েন্সের মতো দেখতে একই রকম দেখাচ্ছে।