толук же жарым-жартылай туура туура ортосунда кандай айырма бар?


жооп 1:

Толук так аныктоо, ошондой эле жарым-жартылай туура отчету болуп саналат. Алар жыйынтыкка жетүү үчүн 'S токтотулат "кошумча жардамга муктаж, анткени, жарым-жартылай туура жумшагыраак: R акыркы мамлекет болуп эсептелет.

жарым-жартылай туура аныктоо үчүн {Q} S {R} Сиз төмөнкү маалыматтарды ала аласыз: баштоо шарты бар болсо, С жолугуп, S жок же мүмкүн эмес. S учтары, акыркы мамлекеттик S аткаруу менен макулдашууга жетишилбесе, R аткарылган. Эгерде ал жок болсо, R эч кандай жыйынтыктоочу мамлекеттик жок, анткени, жараксыз болуп саналат.

Мисалы:

{X == 10}, ал эми (ж = 0): ж = ж - 1 х = 0 {х == 0}

Бул жарым-жартылай так аныктоо болуп саналат. 0 ишке ашкан санына барабар же жогору ж болсо, даяр S жана анда х 0 болсо, анда ж терс саны менен башталат, S түбөлүк кайталанып жатат, ал, бир мамлекет болбойт, бүтпөйт. "С. аткаруу кийин"

S өлгөн луп болсо Чынында, R нерсе болушу мүмкүн. Мисалы, ар бир С жана R үчүн:

{Q}, ал эми (чыныгы): ж = ж - 1 {R}

ар дайым бир бөлүгүн так аныктоо болуп саналат.

С күчтүү жетиштүү эмес болсо, S аякташын кепилдик бере албайт, бир гана С. ишке ашырылгандан кийин абалын актоо болсун Бул учурда, кол шарт кошууга болот: S токтойт. С жана андан ары да аргумент.

толугу менен так аныктоо үчүн {Q} S {R} С S аяктоону камсыз кылуу үчүн күчтүү жетишет, S аяктады жана акыркы R аткарылды деп жыйынтык чыгарууга болот.

Мисалы:

{X == 10}, ал эми (х = 0!): Х = х - 1 {х == 0}

толугу менен так аныктоо болуп саналат.

жол менен: мен саясий туура суроо баса белгиленет бери жооп, туура же туура эмес болсо, айта албайм. Каралып жаткан определение эле компьютер илиминде окшойт да.