Chúng tôi đầu tiên xem xét các trường hợp đơn giản trong đó các kênh cơ bản là hoàn toàn đáng tin cậy. Các giao thức riêng của mình, chúng tôi sẽ gọi rdt1.0, là tầm thường. Máy trạng thái hữu hạn (FSM) định nghĩa cho người gửi và người nhận rdt1.0 được hiển thị trong hình 3,4-2. Các FSMs người gửi và người nhận trong hình 3,4-2 từng có chỉ là một trạng thái. Các mũi tên trong bản mô tả FSM chỉ ra quá trình chuyển đổi giao thức từ một tiểu bang khác. (Vì mỗi FSM trong hình 3,4-2 chỉ có một nhà nước, một chuyển đổi là cần thiết từ một nhà nước lại cho chính nó, chúng ta sẽ thấy sơ đồ trạng thái phức tạp hơn trong thời gian ngắn.). Sự kiện này gây ra quá trình chuyển đổi được hiển thị ở trên đường ngang nhãn quá trình chuyển đổi, và hành động (s) thực hiện khi sự kiện xảy ra được hiển thị bên dưới các đường ngang.
đang được dịch, vui lòng đợi..
