Која је разлика између потпуне тачности и делимичне тачности?


Одговор 1:

Спецификација потпуне тачности такође је делимична специфичност тачности. Делимична коректност је слабија јер јој је потребна додатна помоћ „С прекида“ да би се дошло до закључка: Р држи се у коначном стању.

За делимичну спецификацију тачности {К} С {Р}, можете добити следеће информације: С обзиром на почетно стање које задовољава К, С може престати или не. Ако С прекине, након извршења С, достићи ћете коначно стање које задовољава Р. Ако није, Р је бескористан јер не постоји коначно стање.

На пример:

{к == 10}
док је (и! = 0):
    и = и - 1
к = 0
{к == 0}

То је делимична специфичност тачности. Ако је и иницијализирано са неким бројем једнаким или већим од 0, С ће престати и након тога к је 0. Иако ако и започне са негативним бројем, С ће се заувек петљати и будући да се он не укида, нећете доћи до стања ' након извршења С-а '.

Заиста, Р може бити било шта ако је С мртва петља. На пример, за било који К и Р:

{К}
док је (тачно):
    и = и - 1
{Р}

увек је делимична специфичност тачности.

Ако К није довољно јак, не можете гарантовати С-ов раскид, а камоли разлог за стање након извршења С-а. У овом случају можете ручно додати услов: С прекида. Са К и са њим, резоновање се може наставити.

За потпуну спецификацију тачности {К} С {Р}, К је довољно јак да гарантује прекид С, тако да можете закључити да ће С престати и крајње стање задовољава Р.

На пример:

{к == 10}
док је (к! = 0):
    к = к - 1
{к == 0}

је потпуна специфичност тачности.

БТВ: Нисам сигуран да ли је одговор тачан, јер је питање означено са Политичка коректност. Док дефиниција у питању изгледа потпуно исто као у рачунарској науци.