Exclusion: There is no reachable sy

Exclusion: There is no reachable system state in which the set of users in their critical regions is a set in g.

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

Loại trừ: Đó là không thể truy cập hệ thống nhà nước, trong đó các thiết lập của người dùng trong các khu vực quan trọng của một bộ Son.

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

Loại trừ: Không có hệ thống nhà nước có thể truy cập, trong đó tập hợp các người dùng ở các khu vực quan trọng của họ là một tập hợp trong g.