మొత్తం ఖచ్చితత్వం మరియు పాక్షిక సవ్యత మధ్య తేడా ఏమిటి?


సమాధానం 1:

మొత్తం కరెక్ట్‌నెస్ స్పెసిఫికేషన్ కూడా పాక్షిక కరెక్ట్‌నెస్ స్పెసిఫికేషన్. పాక్షిక సవ్యత బలహీనంగా ఉంది, ఎందుకంటే నిర్ధారణకు రావడానికి 'S టెర్మినేట్స్' యొక్క అదనపు సహాయం అవసరం: R తుది స్థితిలో ఉంది.

పాక్షిక కరెక్ట్‌నెస్ స్పెసిఫికేషన్ {Q} S {R} కోసం, మీరు ఈ క్రింది సమాచారాన్ని పొందవచ్చు: Q ని సంతృప్తిపరిచే ప్రారంభ స్థితిని చూస్తే, S ముగించవచ్చు లేదా కాకపోవచ్చు. S ఆగిపోతే, S అమలు తరువాత, మీరు R ని సంతృప్తిపరిచే తుది స్థితికి చేరుకుంటారు. కాకపోతే, తుది స్థితి లేనందున R పనికిరానిది.

ఉదాహరణకి:

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

ఇది పాక్షిక కరెక్ట్‌నెస్ స్పెసిఫికేషన్. Y సమానమైన లేదా 0 కన్నా ఎక్కువ సంఖ్యతో ప్రారంభించబడితే, S ముగుస్తుంది మరియు ఆ x 0 తరువాత. Y ప్రతికూల సంఖ్యతో ప్రారంభమైతే, S ఎప్పటికీ లూప్ అవుతుంది మరియు అది ముగియదు కాబట్టి, మీరు ఒక స్థితికి చేరుకోలేరు ' S అమలు తరువాత '.

నిజమే, S డెడ్-లూప్ అయితే R ఏదైనా కావచ్చు. ఉదాహరణకు, ఏదైనా Q మరియు R కోసం:

{Q}
(నిజం):
    y = y - 1
{R}

ఎల్లప్పుడూ పాక్షిక కరెక్ట్‌నెస్ స్పెసిఫికేషన్.

Q తగినంత బలంగా లేకపోతే, మీరు S యొక్క రద్దుకు హామీ ఇవ్వలేరు, S అమలు తర్వాత రాష్ట్రం గురించి కారణం చెప్పండి. ఈ సందర్భంలో మీరు మానవీయంగా ఒక షరతును జోడించవచ్చు: S ముగుస్తుంది. Q మరియు దానితో, తార్కికం కొనసాగవచ్చు.

మొత్తం ఖచ్చితత్వం స్పెసిఫికేషన్ {Q} S {R For కోసం, S యొక్క ముగింపుకు హామీ ఇచ్చేంత Q బలంగా ఉంది, కాబట్టి మీరు S ముగుస్తుందని మరియు తుది స్థితి R. ని సంతృప్తిపరుస్తుందని మీరు నిర్ధారించవచ్చు.

ఉదాహరణకి:

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

మొత్తం ఖచ్చితత్వం స్పెసిఫికేషన్.

BTW: పొలిటికల్ కరెక్ట్‌నెస్‌తో ప్రశ్న ట్యాగ్ చేయబడినందున సమాధానం సరైనదేనా అని నాకు తెలియదు. ప్రశ్నలోని నిర్వచనం కంప్యూటర్ సైన్స్ మాదిరిగానే కనిపిస్తుంది.