Đèn giao thông có 3 trạng thái: RED, GREEN, YELLOW. Cho trạng thái hiện tại state và một sự kiện ev. Quy tắc (dùng match-case trên tuple (state, ev) + OR pattern):
Hai chuỗi cách nhau dấu cách: state ev.
state, ev là chuỗi không dấu cách.
Trạng thái mới hoặc INVALID.
Ví dụ:
Đầu vào:
RED TIMER
Đầu ra:
GREEN
Giải thích:
Đang tải editor...