The function newChan returns a func

The function newChan returns a function, and that function
takes a set of channels and updates it with a channel from
a to b.
Now we will build a state machine containing three asynchronous transitions. Two of the transitions introduce new
channels into the system depending on the current system
state, and the final one simply stutters (i.e., maintains the
system state). Let H and I be predicates over sets of channels (i.e., functions of type CHANS -> BOOLEAN), and let m, n,
o, p, . . . be constant node-identifiers (i.e., constants of type
NODE)

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

NewChan chức năng trả về một chức năng, và chức năng đócó một tập hợp các kênh và cập nhật nó với một kênh từmột để b.Bây giờ chúng ta sẽ xây dựng một máy nhà nước có chứa ba quá trình chuyển đổi không đồng bộ. Hai trong số các quá trình chuyển đổi giới thiệu mớiKênh vào hệ thống tùy thuộc vào hệ thống hiện thờinhà nước, và cuối cùng một chỉ đơn giản là giật (tức là, duy trì cáctrạng thái hệ thống). Hãy để H và tôi là predicates trên bộ của kênh (tức là, chức năng của loại CHANS -> BOOLEAN), và để cho m, n,o, p,... là định danh nút liên tục (tức là, hằng số loạiNÚT)

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

Các chức năng newChan trả về một chức năng, và chức năng mà
phải mất một tập hợp các kênh và cập nhật nó với một kênh từ
a đến b.
Bây giờ chúng ta sẽ xây dựng một máy nhà nước có chứa ba chuyển tiếp không đồng bộ. Hai trong số các hiệu ứng chuyển tiếp giới thiệu mới
các kênh truyền vào hệ thống phụ thuộc vào hệ thống hiện hành
của nhà nước, và một trong những thức đơn giản là nói lắp (tức là, duy trì
trạng thái hệ thống). Hãy H và I là các vị từ trên bộ của các kênh (ví dụ, các chức năng của loại Chans -> BOOLEAN), và để cho m, n,
o, p,. . . được liên tục node-định danh (tức là, các hằng số của loại
NODE)