Help intersezione !!
Se ho due insiemi
$ Init= q_1 \times {x_1 >=0} $
$ Trans = { q_1 \times { x_1 < 0} uu { q_1 \times {x_1=0, x_2 <= 0}} $
Se faccio l'intersezione, non dovrei avere solo ${q_1 \times { x_1=0}} $ ??
Invece io qui ho $Init nn Trans= {q_1 \times { x_1=0, x_2 <=0}} $
$ Init= q_1 \times {x_1 >=0} $
$ Trans = { q_1 \times { x_1 < 0} uu { q_1 \times {x_1=0, x_2 <= 0}} $
Se faccio l'intersezione, non dovrei avere solo ${q_1 \times { x_1=0}} $ ??
Invece io qui ho $Init nn Trans= {q_1 \times { x_1=0, x_2 <=0}} $
Risposte
Interpreti male il primo insieme: se scrivi [tex]$Init=q_1\times\{x_1\ge 0\}$[/tex] allora consideri tutte le triple della forma [tex]$(q,x_1,x_2)$[/tex] dove [tex]q\in q_1[/tex], [tex]$x_1\ge 0$[/tex] e [tex]$x_2$[/tex] va scelto in tutti i modi possibili.
Per essere chiari, dovresti, prima di tutto, capire in quale "insieme universo" ti stai muovendo che, da quello che posso capire, dovrebbe essere una cosa del tipo [tex]$q_1\times\mathbb{R}^2$[/tex] (ho supposto che $(x_1,x_2)\in\mathbb{R}^2$).
Per essere chiari, dovresti, prima di tutto, capire in quale "insieme universo" ti stai muovendo che, da quello che posso capire, dovrebbe essere una cosa del tipo [tex]$q_1\times\mathbb{R}^2$[/tex] (ho supposto che $(x_1,x_2)\in\mathbb{R}^2$).
Giusto!!! Grazie mille!!! Avevo proprio interpretato male il primo insieme !! Grazie grazie !!:-)
Mmmmmmm..... sei andata in vacanza, per caso?

Si
, ed è appena finita

