Cad é an difríocht idir cruinneas iomlán agus cruinneas páirteach?


freagra 1:

Is ráiteas cruinnis páirteach é ráiteas cruinnis iomlán freisin. Tá cruinneas páirteach níos laige toisc go dteastaíonn cúnamh breise ó ‘S terminates’ chun an tátal a bhaint as: tá feidhm ag R sa stát deiridh.

Le haghaidh sonraíochta maidir le cruinneas páirteach {Q} S {R} is féidir leat an fhaisnéis seo a leanas a fháil: Má tá coinníoll tosaigh ann a chomhlíonann Q, féadfaidh S deireadh a chur leis. Má thagann deireadh le S, tar éis duit S a fhorghníomhú sroichfidh tú stát deiridh a chomhlíonann R. Mura féidir, ní féidir R a úsáid toisc nach bhfuil aon staid dheiridh ann.

Mar shampla:

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

Is ráiteas cruinnis páirteach é. Má dhéantar y a thúsú le huimhir atá cothrom le 0 nó níos mó ná 0, cuirtear deireadh le S agus ansin is é x 0. Má thosaíonn y le huimhir dhiúltach, déantar S arís agus arís eile go deo, agus ós rud é nach gcríochnaíonn sí, ní shroichfidh tú stát. 'tar éis S. a fhorghníomhú.'

Go deimhin, is féidir le R a bheith ina rud ar bith más lúb marbh é S. Mar shampla do gach Q agus R:

{Q} le linn (fíor): y = y - 1 {R}

i gcónaí ina léiriú páirteach ar chruinneas.

Mura bhfuil Q láidir go leor, ní féidir leat foirceannadh S a ráthú, gan trácht ar an stát a chosaint tar éis S a fhorghníomhú. Sa chás seo, is féidir leat coinníoll a chur leis de láimh: S ginmhilleadh. Is féidir leanúint leis an argóint le Q agus leis.

Maidir leis an tsonraíocht cruinnis iomlán {Q} S {R}, tá Q láidir go leor chun foirceannadh S a ráthú ionas gur féidir leat a thabhairt i gcrích go gcuirtear deireadh le S agus go bhfuil an stát deiridh R sásta.

Mar shampla:

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

is ráiteas cruinnis iomlán é.

Dála an scéil: níl mé cinnte an bhfuil an freagra ceart, ós rud é go bhfuil an cheist marcáilte le cruinneas polaitiúil. Cé go bhféachann an sainmhíniú sa cheist mar an gcéanna leis an eolaíocht ríomhaireachta.