[drs:2004] - Re[2]: CSP by Vlada <vlaxy@verat.net>

Mislim da si u pravu - treba:
>>*[b-> SIEVE(1)!n; n:=n+2;
>>  #
>>  b; SIEVE(100)?done() -> b:=false
>> ]
A sto se tice toga da drugi uslov nikada nece biti izabran...
Mozda treba razmisljati na sledeci nacin:
Ako se od uslova koji su zadovoljeni SVAKI put na SLUCAJAN nacin bira jedan
od njih, onda to znaci da je manja verovatnoca da ce se isti uslov izabrati
dva puta zaredom, od verovatnoce da ce biti izabran neki drugi.
Prilicno sam siguran da je situacija ovakva.

pozdrav,
vlada

_________________________________________________________________
On Wednesday, September 29, 2004, 2:16:54 PM, you wrote:
>>> U 21. zadatku (Erastotenovo sito), sem što SIEVE(0) pokušava da dobije
>>> signal od nepostojećeg proces (treba SIEVE(100)?done()), malo je nejasno
>>> šta se tačno dešava. Naime, alternativna komanda je nedeterministička,
>>> a u oba uslova figurira b, koje je tačno. Ako SIEVE(0) primi signal od
>>> SIEVE(100), oba uslova su tačna, ali po implenentaciji, može se uvek
>>> birati prvi uslov, tako da do drugog nikada neće ni doći.