The two are same under constrained

The two are same under constrained write assumption which assumes that if T writes X, it is constrained by the value of X it read; i.e., new X = f(old X)

Kết quả (Việt) 1:

Hai là cùng một theo giả định hạn chế viết giả định rằng nếu T viết X, nó hạn chế bởi giá trị của X nó đọc; tức là, mới X = f (cũ X)

Kết quả (Việt) 2:

Hai là như nhau theo chế ghi giả thiết trong đó giả định rằng nếu T viết X, nó bị hạn chế bởi các giá trị của X nó đọc; tức là, mới X = f (X cũ)