solution

Mở rộng máy ảo ngăn xếp bằng cách thêm bộ nhớ biến và lệnh xuất giá trị, để mô phỏng phần thực thi (runtime) của mã trung gian sinh ra từ các câu lệnh gán và in giá trị trong chương trình nguồn.

Máy ảo hỗ trợ các lệnh sau, thao tác trên một ngăn xếp số nguyên ban đầu rỗng và một bảng biến ban đầu rỗng:

• PUSH x: đẩy số nguyên $x$ vào đỉnh ngăn xếp.
• LOAD name: đẩy vào đỉnh ngăn xếp giá trị hiện tại của biến name; nếu biến này chưa từng được gán giá trị (chưa có lệnh STORE name nào trước đó), giá trị mặc định của nó là $0$.
• STORE name: lấy (pop) phần tử ở đỉnh ngăn xếp và gán giá trị đó cho biến name (không đẩy lại gì vào ngăn xếp).
• ADD, SUB, MUL, DIV: lấy ra 2 phần tử trên đỉnh — $b$ lấy trước (đỉnh), $a$ lấy sau — tính $a+b$, $a-b$, $a \times b$, hoặc $a \;/\; b$ (chia lấy phần nguyên kiểu Python, làm tròn xuống) rồi đẩy kết quả trở lại.
• PRINT: lấy (pop) phần tử ở đỉnh ngăn xếp và xuất giá trị đó ra (đây là điểm khác biệt quan trọng: PRINT có pop, không phải chỉ xem đỉnh).

Ví dụ: PUSH 5 / STORE x / LOAD x / LOAD x / ADD / PRINT in ra 10.