Hãy sử dụng cấu trúc rẽ nhánh dạng đủ và điều kiện “đèn tín hiệu cho người đi bộ màu đỏ” để mô tả hoạt động qua đường của người đi bộ.