Differenze tra le versioni di "Semantica operazionale"

m
→‎top: ., typos fixed: ( → (, a : → a: (2)
m (→‎top: ., typos fixed: ( → (, a : → a: (2))
b=0
 
sono equivalenti (hanno lo stesso significato), ma il programma :
 
b=0; a=1
 
non è equivalente ( anche se il risultato finale è equivalente, le azioni non hanno avuto luogo nello stesso ordine ).
 
==Voci correlate==
102 813

contributi