solution

Một máy ảo ngăn xếp (stack-based virtual machine) thực thi chương trình bytecode gồm các dòng lệnh sau đây, mỗi dòng là một lệnh:

• PUSH x: đẩy số nguyên $x$ vào đỉnh ngăn xếp.
• ADD, SUB, MUL, DIV: lấy ra 2 phần tử trên đỉnh ngăn xếp, gọi $b$ là phần tử ở đỉnh (lấy ra trước) và $a$ là phần tử ngay dưới (lấy ra sau), rồi đẩy vào ngăn xếp kết quả tương ứng $a+b$, $a-b$, $a \times b$, $a \div b$.
• PRINT: in ra giá trị đang ở đỉnh ngăn xếp (không lấy phần tử này ra khỏi ngăn xếp).
• HALT: dừng thực thi ngay lập tức, các lệnh phía sau (nếu còn) không được thực hiện.

Với phép DIV, kết quả được lấy phần nguyên làm tròn về 0 (truncate toward zero), giống phép chia số nguyên trong C/C++/Java — nghĩa là kết quả có dấu bằng dấu của thương toán học, phần dư luôn cùng dấu với số bị chia. Ví dụ $(-7) \div 2 = -3$ (không phải $-4$), $7 \div (-2) = -3$.

Cho một chương trình bytecode, hãy mô phỏng việc thực thi và in ra các giá trị theo đúng thứ tự các lệnh PRINT được thực hiện.

Ví dụ: chương trình

PUSH 3
PUSH 4
ADD
PRINT
PUSH 2
MUL

thực thi: đẩy 3, đẩy 4, ADD cho ra 7 (đỉnh ngăn xếp là 7), PRINT in ra 7, rồi đẩy 2 và nhân — chương trình kết thúc (không có PRINT nào khác). Kết quả in ra chỉ có một dòng 7.