மொத்த சரியானது மற்றும் பகுதி சரியானது ஆகியவற்றுக்கு என்ன வித்தியாசம்?


மறுமொழி 1:

மொத்த சரியான விவரக்குறிப்பும் ஒரு பகுதி சரியான விவரக்குறிப்பாகும். பகுதியளவு சரியானது பலவீனமாக உள்ளது, ஏனெனில் முடிவுக்கு வர 'எஸ் டெர்மினேட்'களின் கூடுதல் உதவி தேவைப்படுகிறது: ஆர் இறுதி நிலையில் உள்ளது.

ஒரு பகுதி சரியான விவரக்குறிப்பு {Q} S {R For க்கு, நீங்கள் பின்வரும் தகவல்களைப் பெறலாம்: Q ஐ திருப்திப்படுத்தும் தொடக்க நிலை கொடுக்கப்பட்டால், S நிறுத்தப்படலாம் அல்லது இல்லாமலும் போகலாம். எஸ் நிறுத்தப்பட்டால், எஸ் செயல்படுத்தப்பட்ட பிறகு, நீங்கள் ஆர் ஐ திருப்திப்படுத்தும் ஒரு இறுதி நிலையை அடைவீர்கள். இல்லையென்றால், இறுதி நிலை இல்லாததால் ஆர் பயனற்றது.

உதாரணத்திற்கு:

{எக்ஸ் == 10}
போது (y! = 0):
    y = y - 1
x = 0
{எக்ஸ் == 0}

இது ஒரு பகுதி சரியான விவரக்குறிப்பு. Y ஐ 0 ஐ விட சமமாகவோ அல்லது அதிகமாகவோ தொடங்கினால், S நிறுத்தப்படும், அதற்குப் பிறகு x 0 ஆக இருக்கும். Y ஒரு எதிர்மறை எண்ணுடன் தொடங்கினால், S என்றென்றும் வளையப்படும், அது முடிவடையாததால், நீங்கள் ஒரு நிலையை அடைய மாட்டீர்கள் ' எஸ் செயல்படுத்தப்பட்ட பிறகு '.

உண்மையில், எஸ் ஒரு இறந்த-வளையமாக இருந்தால் ஆர் எதுவும் இருக்கலாம். எடுத்துக்காட்டாக, எந்த Q மற்றும் R க்கும்:

{கே}
(உண்மை):
    y = y - 1
{R} என்பது

எப்போதும் ஒரு பகுதி சரியான விவரக்குறிப்பு.

Q போதுமானதாக இல்லை என்றால், S இன் முடிவுக்கு நீங்கள் உத்தரவாதம் அளிக்க முடியாது, S இன் மரணதண்டனைக்குப் பிறகு மாநிலத்தைப் பற்றி நியாயப்படுத்தலாம். இந்த வழக்கில் நீங்கள் கைமுறையாக ஒரு நிபந்தனையைச் சேர்க்கலாம்: எஸ் நிறுத்தப்படும். Q மற்றும் அதனுடன், பகுத்தறிவு தொடரலாம்.

மொத்த சரியான விவரக்குறிப்பு {Q} S {R For க்கு, Q இன் முடிவுக்கு உத்தரவாதம் அளிக்க போதுமானதாக உள்ளது, எனவே எஸ் நிறுத்தப்படும் என்று நீங்கள் முடிவு செய்யலாம் மற்றும் இறுதி நிலை ஆர்.

உதாரணத்திற்கு:

{x == 10}
போது (x! = 0):
    x = x - 1
{x == 0}

மொத்த சரியான விவரக்குறிப்பு.

BTW: அரசியல் சரியான தன்மையுடன் கேள்வி குறிக்கப்பட்டுள்ளதால் பதில் சரியானதா என்று எனக்குத் தெரியவில்லை. கேள்வியின் வரையறை கணினி அறிவியலைப் போலவே தெரிகிறது.