ຄວາມແຕກຕ່າງລະຫວ່າງຄວາມຖືກຕ້ອງຄົບຖ້ວນແລະຄວາມຖືກຕ້ອງບາງສ່ວນແມ່ນຫຍັງ?


ຕອບ 1:

ຄຳ ຖະແຫຼງທີ່ຖືກຕ້ອງຄົບຖ້ວນແມ່ນຍັງເປັນ ຄຳ ຖະແຫຼງການກວດແກ້ບາງສ່ວນ. ການແກ້ໄຂບາງສ່ວນແມ່ນອ່ອນກວ່າເພາະວ່າມັນຕ້ອງການຄວາມຊ່ວຍເຫລືອເພີ່ມເຕີມຂອງ 'S terminates' ເພື່ອບັນລຸຂໍ້ສະຫລຸບ: 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. '

ໃນຄວາມເປັນຈິງ, R ສາມາດເປັນສິ່ງໃດກໍ່ຕາມຖ້າ S ແມ່ນຊ່ອງຫວ່າງທີ່ຕາຍແລ້ວ. ຕົວຢ່າງ ສຳ ລັບແຕ່ລະ ຄຳ ຖາມແລະ R:

{ຖາມ} ໃນລະຫວ່າງ (ຄວາມຈິງ): y = y - 1 {R}

ແມ່ນສະແດງໃຫ້ເຫັນບາງສ່ວນຂອງຄວາມຖືກຕ້ອງ.

ຖ້າ Q ບໍ່ແຂງແຮງ, ທ່ານບໍ່ສາມາດຄ້ ຳ ປະກັນການຢຸດຕິຂອງ S ໄດ້, ໃຫ້ຜູ້ດຽວຍົກຍ້ອງລັດຫຼັງຈາກ S ຖືກປະຫານຊີວິດ. ໃນກໍລະນີນີ້, ທ່ານສາມາດເພີ່ມເງື່ອນໄຂດ້ວຍຕົນເອງ: S ຍົກເລີກ. ການໂຕ້ຖຽງສາມາດສືບຕໍ່ກັບ Q ແລະມັນ.

ສຳ ລັບການ ກຳ ນົດຄວາມຖືກຕ້ອງຄົບຖ້ວນ {Q} S {R}, Q ມີຄວາມເຂັ້ມແຂງພຽງພໍທີ່ຈະຮັບປະກັນການສິ້ນສຸດຂອງ S ເພື່ອໃຫ້ທ່ານສາມາດສະຫຼຸບໄດ້ວ່າ S ຖືກລະງັບແລະລັດສຸດທ້າຍ R ແມ່ນພໍໃຈ.

ຕົວຢ່າງ:

{x == 10} ໃນໄລຍະ (x! = 0): x = x - 1 {x == 0}

ແມ່ນ ຄຳ ຖະແຫຼງທີ່ຖືກຕ້ອງຄົບຖ້ວນ.

ໂດຍວິທີທາງການ: ຂ້ອຍບໍ່ແນ່ໃຈວ່າຄໍາຕອບແມ່ນຖືກຕ້ອງ, ຍ້ອນວ່າຄໍາຖາມຖືກຫມາຍດ້ວຍຄວາມຖືກຕ້ອງທາງການເມືອງ. ໃນຂະນະທີ່ ຄຳ ນິຍາມໃນ ຄຳ ຖາມມີລັກສະນະຄືກັນກັບວິທະຍາສາດຄອມພິວເຕີ.