एकूण शुद्धता आणि आंशिक शुद्धतेमध्ये काय फरक आहे?


उत्तर 1:

एकूण शुद्धता तपशील देखील एक आंशिक शुद्धता तपशील आहे. आंशिक शुद्धता कमकुवत आहे कारण निष्कर्षापर्यंत पोहोचण्यासाठी त्याला 'एस टर्मिनेट्स' च्या अतिरिक्त मदतीची आवश्यकता आहे: अंतिम स्थितीत आर.

आंशिक शुध्दीकरण तपशीलासाठी {क्यू} एस {आर}, आपण खालील माहिती मिळवू शकता: प्रारंभास दिलेली राज्य जी क्यूला संतुष्ट करते, एस संपुष्टात येऊ शकते किंवा नाही. जर एस समाप्त होईल, एस च्या अंमलबजावणीनंतर आपण अंतिम स्थितीत पोहोचेल जी आरला समाधानी करते तर तसे झाले नाही तर अंतिम स्थिती नसल्यामुळे आर निरुपयोगी आहे.

उदाहरणार्थ:

{x == 10}
असताना (y! = 0):
    y = y - 1
x = 0
{x == 0}

हे अर्धवट शुद्धता तपशील आहे. जर y ची आरंभ काही संख्येच्या बरोबर किंवा त्यापेक्षा जास्त 0 ने केली असेल तर एस समाप्त होईल आणि त्यानंतर x 0 होईल. जर y ने नकारात्मक संख्येने सुरुवात केली तर एस कायमचे पळेल आणि ती संपुष्टात येणार नाही म्हणून आपण एका राज्यात पोहोचणार नाही. एस च्या अंमलबजावणी नंतर '.

खरंच, एस डे-लूप असल्यास आर काहीही असू शकते. उदाहरणार्थ, कोणत्याही प्र आणि आर साठी:

{प्रश्न}
(सत्य):
    y = y - 1
{आर

हे नेहमीच आंशिक शुद्धीकरण तपशील असते.

जर प्रश्न पुरेसे मजबूत नसेल तर आपण एसच्या समाप्तीची हमी देऊ शकत नाही, एसच्या अंमलबजावणीनंतर राज्याबद्दल एकटे कारण सांगा. या प्रकरणात आपण व्यक्तिचलितरित्या एक अट जोडू शकता: एस समाप्त. प्रश्न आणि त्यासह, तर्क चालू ठेवू शकता.

एकूण शुद्धतेच्या तपशीलासाठी {क्यू} एस {आर}, एस च्या समाप्तीची हमी पुरविण्यास क्यू मजबूत आहे, म्हणून आपण एस निष्कर्ष काढू शकता की एस समाप्त होईल आणि अंतिम राज्य आर समाधानी करेल.

उदाहरणार्थ:

{x == 10}
असताना (x! = 0):
    x = x - 1
{x == 0}

एकूण शुद्धता तपशील आहे.

बीटीडब्ल्यू: उत्तर बरोबर आहे की नाही याची मला खात्री नाही कारण प्रश्नाला राजकीय बरोबर केले गेले आहे. प्रश्नातील व्याख्या संगणक विज्ञानाप्रमाणेच दिसते.