Mô phỏng một phần máy trạng thái TCP. Bắt đầu ở trạng thái cho trước, áp dụng lần lượt các sự kiện. Bảng chuyển:
| Trạng thái | Sự kiện | → |
|---|---|---|
| CLOSED | SYN | SYN_SENT |
| SYN_SENT | SYNACK | ESTABLISHED |
| ESTABLISHED | FIN | FIN_WAIT |
| FIN_WAIT | ACK | TIME_WAIT |
| TIME_WAIT | TIMEOUT | CLOSED |
Nếu một sự kiện không hợp lệ với trạng thái hiện tại, bỏ qua sự kiện đó (giữ nguyên trạng thái). In trạng thái cuối cùng sau khi xử lý hết sự kiện.
Vào:
CLOSED
2
SYN
SYNACK
Ra: ESTABLISHED
Dòng 1: trạng thái khởi đầu. Dòng 2: số k sự kiện. k dòng tiếp theo, mỗi dòng một sự kiện.
0 ≤ k ≤ 10000.
Một dòng: trạng thái cuối cùng.
Ví dụ:
Đầu vào:
CLOSED
2
SYN
SYNACK
Đầu ra:
ESTABLISHED
Giải thích:
Đang tải editor...