Figures 3.20 and 3.21 give an exten

Figures 3.20 and 3.21 give an extended FSM description of the sender and receiver sides of an ACK-based, NAK-free, GBN protocol. We refer to this FSM description as an extended FSM because we have added variables (similar to pro- gramming-language variables) for base and nextseqnum, and added operations on these variables and conditional actions involving these variables. Note that the extended FSM specification is now beginning to look somewhat like a programming- language specification. [Bochman 1984] provides an excellent survey of additional extensions to FSM techniques as well as other programming-language-based tech- niques for specifying protocols.

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

Con số 3,20 và 3,21 cho một mô tả FSM mở rộng về phía người gửi và người nhận của một giao thức dựa trên ACK, NAK-Việt, GBN. Chúng tôi tham khảo mô tả FSM này như là một mở rộng FSM bởi vì chúng tôi đã thêm biến (tương tự như pro-gramming-ngôn ngữ biến) cho cơ sở và nextseqnum, và thêm các hoạt động trên các biến và các điều kiện hoạt động liên quan đến các biến này. Lưu ý rằng đặc điểm kỹ thuật FSM mở rộng bây giờ là bắt đầu nhìn hơi giống như một đặc tả ngôn ngữ lập trình. [Bochman 1984] cung cấp một cuộc khảo sát tuyệt vời của tiện ích mở rộng thêm về kỹ thuật FSM khác lập trình ngôn ngữ-dựa trên công nghệ cao-niques để chỉ định giao thức.

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

Hình 3.20 và 3.21 đưa ra một mô tả FSM mở rộng của người gửi và người nhận hai mặt của một, NAK-miễn phí, giao thức GBN ACK-based. Chúng tôi tham khảo mô tả FSM này như là một FSM mở rộng bởi vì chúng tôi đã bổ sung thêm các biến (tương tự như cung biến gramming-ngôn ngữ) cho cơ sở và nextseqnum, và các hoạt động bổ sung vào các biến này và hành động có điều kiện liên quan đến các biến này. Lưu ý rằng các đặc điểm kỹ thuật FSM mở rộng hiện đang bắt đầu trông hơi giống như một đặc tả ngôn ngữ programming-. [Bochman 1984] cung cấp một cuộc khảo sát tuyệt vời của phần mở rộng bổ sung cho kỹ thuật FSM cũng như các kỹ thuật lập trình, ngôn ngữ dựa trên khác để xác định các giao thức.