Ո՞րն է տարբերությունը ամբողջական ճշգրտության և մասնակի ճիշտության միջև:


պատասխանել 1:

Լրիվ կոռեկտության մասին հայտարարությունը նաև մասնակի կոռեկտության հայտարարություն է: Մասնակի ճշգրտությունը ավելի թույլ է, քանի որ եզրակացության հասնելու համար անհրաժեշտ է «S terminals» - ի լրացուցիչ օգնություն. R- ը կիրառվում է վերջնական վիճակում:

Մասնակի ճշգրտության համար {Q} S {R} կարող եք ստանալ հետևյալ տեղեկատվությունը. Եթե կա մեկնարկային պայման, որը բավարարում է Q- ն, S- ն կարող է կամ չի ավարտվում: Եթե ​​S- ն ավարտվում է, S- ն իրականացնելուց հետո հասնում եք վերջնական վիճակին, որը կատարում է Ռ. Եթե ​​ոչ, R- ն անօգուտ է, քանի որ վերջնական վիճակ չկա:

Օրինակ ՝

{x == 10} ընթացքում (y! = 0). y = y - 1 x = 0 {x == 0}

Դա մասնակի ճշգրտության հայտարարություն է: Եթե ​​y- ը նախաստորագրվում է 0-ով հավասար կամ ավելի մեծ թվով թվից, S- ն ավարտվում է, և ապա x- ը 0-ն է: 'Ս.-ի մահապատժից հետո'

Փաստորեն, R- ն կարող է լինել ցանկացած բան, եթե S- ը սատկած հանգույց է: Օրինակ `յուրաքանչյուր Q- ի և R- ի համար.

{Q} ընթացքում (ճշմարիտ). Y = y - 1 {R}

միշտ կոռեկտության մասնակի նշումն է:

Եթե ​​Q- ն բավականաչափ ուժեղ չէ, դուք չեք կարող երաշխավորել S- ի ավարտը, այլևս չարդարացնեք պետությունը Ս-ն կատարելուց հետո: Այս դեպքում դուք կարող եք ձեռքով մի պայման ավելացնել. S- ն ընդհատվում է: Վեճը կարելի է շարունակել Q- ով և դրանով:

Correct Q} S {R the ճշգրտության ճշգրտության համար Q- ն բավականաչափ ուժեղ է S- ի դադարեցումը երաշխավորելու համար, այնպես որ կարող եք եզրակացնել, որ S- ը դադարեցված է, և վերջնական պետությունը R բավարարված է:

Օրինակ ՝

{x == 10} ընթացքում (x! = 0). x = x - 1 {x == 0}

ամբողջական ճշգրտության հայտարարություն է:

Ի դեպ. Ես վստահ չեմ, որ պատասխանը ճիշտ է, քանի որ հարցը նշվում է քաղաքական կոռեկտությամբ: Թեև հարցի բնորոշումը նույնն է, ինչ համակարգչային գիտության մեջ: