Ano ang pagkakaiba sa pagitan ng kabuuang tama at bahagyang kawastuhan?


sagot 1:

Ang isang kabuuang pagtutukoy ng kawastuhan ay din ng isang bahagyang pagtutukoy ng kawastuhan. Ang bahagyang kawastuhan ay mas mahina dahil nangangailangan ng karagdagang tulong ng mga 'pagtatapos' na darating sa konklusyon: Nakahawak ang R sa panghuling estado.

Para sa isang bahagyang pagtutukoy ng kawastuhan {Q} S {R}, maaari mong makuha ang sumusunod na impormasyon: Ibinigay ang isang panimulang estado na nasiyahan sa Q, S ay maaaring wakasan o hindi. Kung natapos ang S, pagkatapos ng pagpatay sa S, maaabot mo ang isang pangwakas na estado na nagbibigay kasiyahan sa R. Kung hindi, ang R ay walang silbi dahil walang pangwakas na estado.

Halimbawa:

{x == 10}
habang (y! = 0):
    y = y - 1
x = 0
{x == 0}

Ito ay isang bahagyang pagtutukoy ng kawastuhan. Kung ang y ay sinisimulan ng ilang bilang na pantay o mas malaki kaysa sa 0, ang S ay wakasan at pagkatapos na ang x ay 0. Habang ang y ay nagsisimula sa isang negatibong numero, ang S ay mag-loop magpakailanman at dahil hindi ito magtatapos, hindi ka makakarating sa isang estado ' pagkatapos ng pagpatay sa S '.

Sa katunayan, ang R ay maaaring maging anumang bagay kung ang S ay isang dead-loop. Halimbawa, para sa anumang Q at R:

{Q}
habang (totoo):
    y = y - 1
{R}

ay palaging isang bahagyang pagtutukoy ng kawastuhan.

Kung ang Q ay hindi sapat na malakas, hindi mo masiguro ang pagwawakas ni S, huwag mag-isa sa dahilan tungkol sa estado pagkatapos ng pagpatay sa S. Sa kasong ito maaari mong manu-manong magdagdag ng isang kondisyon: Natapos ang S. Sa Q at ito, maaaring magpatuloy ang pangangatwiran.

Para sa kabuuang pagtutukoy ng kawastuhan {Q} S {R}, sapat na Q upang matiyak ang pagwawakas ng S, kaya maaari mong tapusin na wakasan ng S at ang pangwakas na estado ay nagbibigay kasiyahan sa R.

Halimbawa:

{x == 10}
habang (x! = 0):
    x = x - 1
{x == 0}

ay isang kabuuang detalye ng pagtutukoy.

BTW: Hindi ako sigurado kung tama ang sagot dahil ang tanong ay naka-tag sa Political Correctness. Habang ang kahulugan sa tanong ay mukhang eksaktong kapareho ng sa Computer Science.