Doua fire, patru variabile

Radu Grigore
26 martie 2012

Toate prezentările legate de modele de memorie încep cu următorul exemplu:

{ X = Y = 0 }
  parallel
    Y := 1
    a := X
  and
    X := 1
    b := Y

Literele mari X şi Y sunt variabile globale; literele mici a şi b sunt variabile locale.
Explicaţi de ce e posibil ca la final a = b = 0.