کل درستگی اور جزوی درستگی کے مابین کیا فرق ہے؟


جواب 1:

کل درستگی کی تصریح جزوی طور پر درستگی کی تصریح بھی ہے۔ جزوی طور پر درستگی کمزور ہے کیوں کہ اس نتیجے پر پہنچنے کے لئے اسے 'ایس ٹرمنیٹس' کی اضافی مدد کی ضرورت ہے: R حتمی حالت میں ہے۔

جزوی طور پر درستگی کی تصریح کے لئے {Q} S {R} ، آپ درج ذیل معلومات حاصل کرسکتے ہیں: ایک ایسی ابتدائی حالت دی گئی جو Q کو مطمئن کرتی ہے ، S ختم ہوسکتی ہے یا نہیں۔ اگر ایس ختم ہوجاتا ہے ، ایس کی پھانسی کے بعد ، آپ ایک حتمی حالت میں پہنچ جائیں گے جو آر کو مطمئن کرتا ہے۔ اگر ایسا نہیں ہوتا ہے تو ، کوئی حتمی حالت نہیں ہونے کے بعد سے بیکار ہے۔

مثال کے طور پر:

{x == 10}
جبکہ (y! = 0):
    y = y - 1
x = 0
{x == 0

یہ جزوی درستگی کی تصریح ہے۔ اگر y کو کسی تعداد کے برابر 0 یا اس سے زیادہ کی مدد سے شروع کیا گیا ہو ، S ختم ہوجائے گا اور اس کے بعد x 0 ہوجائے گا۔ جبکہ اگر y منفی تعداد سے شروع ہوتا ہے تو S ہمیشہ کے لئے لوپ ہوجائے گا اور چونکہ یہ ختم نہیں ہوتا ہے ، آپ ریاست تک نہیں پہنچ پائیں گے۔ ' ایس کی پھانسی کے بعد '۔

واقعی ، R کچھ بھی ہوسکتا ہے اگر S مردہ لوپ ہے۔ مثال کے طور پر ، کسی بھی Q اور R کے لئے:

{Q
جبکہ (سچ):
    y = y - 1
{R

جزوی طور پر درستگی کی تصریح ہمیشہ ہوتی ہے۔

اگر Q اتنا مضبوط نہیں ہے تو ، آپ S کے خاتمے کی ضمانت نہیں دے سکتے ہیں ، ایس کی پھانسی کے بعد ریاست کے بارے میں ہی وجہ بتائیں۔ اس صورت میں آپ دستی طور پر کوئی شرط شامل کرسکتے ہیں: S ختم ہوجاتا ہے۔ Q اور اس کے ساتھ ، استدلال جاری رہ سکتا ہے۔

کل درستگی کی وضاحت For Q} S total R} کے لئے ، Q S کے خاتمے کی ضمانت دینے کے ل enough اتنا مضبوط ہے ، لہذا آپ یہ نتیجہ اخذ کرسکتے ہیں کہ S ختم ہوجائے گا اور آخری حالت R کو مطمئن کرے گی۔

مثال کے طور پر:

{x == 10}
جبکہ (x! = 0):
    x = x - 1
{x == 0

کل درستگی کی تصریح ہے۔

بی ٹی ڈبلیو: مجھے یقین نہیں ہے کہ آیا جواب درست ہے یا نہیں کیونکہ سوال کو سیاسی درستگی کے ساتھ ٹیگ کیا گیا ہے۔ جب کہ سوال میں تعریف بالکل وہی نظر آتی ہے جیسے کمپیوٹر سائنس میں ہے۔