M contains only normal transitions

M contains only normal transitions describing the expected ideal behavior (without taking into account faults). M includes a model of a fault: a bit may suffer a discharge and then it changes its value from 1 to 0.

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

M có quá trình chuyển đổi chỉ bình thường mô tả hành vi lý tưởng dự kiến (mà không tham gia vào tài khoản lỗi). M bao gồm một mô hình của một lỗi: một chút có thể phải chịu một xả và sau đó nó thay đổi giá trị của nó từ 1 sang 0.

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

M chỉ chứa chuyển bình thường mô tả các hành vi dự kiến ​​lý tưởng (không xét lỗi tài khoản). M gồm một mô hình của một lỗi: một chút có thể phải chịu một xả và sau đó nó thay đổi giá trị của nó 1-0.