solution

Khác với máy ảo ngăn xếp, một máy ảo dựa trên thanh ghi (register-based VM, như trong CPython hay Lua) lưu trữ giá trị trung gian trong các thanh ghi $R_0, R_1, \ldots, R_7$ (8 thanh ghi, khởi tạo giá trị $0$) thay vì trên ngăn xếp. Chương trình gồm các dòng lệnh và nhãn (label). Một dòng chỉ chứa tên_nhãn: (không có khoảng trắng, kết thúc bằng dấu :) định nghĩa một nhãn tại vị trí đó. Tập lệnh:

• MOV Ri, v: gán $R_i \gets v$, trong đó $v$ là một số nguyên hằng hoặc một thanh ghi Rj.
• ADD Ri, Rj, Rk: $R_i \gets R_j + R_k$.
• SUB Ri, Rj, Rk: $R_i \gets R_j - R_k$.
• MUL Ri, Rj, Rk: $R_i \gets R_j \times R_k$.
• JMP L: nhảy vô điều kiện đến nhãn L.
• JZ Ri, L: nhảy đến nhãn L nếu $R_i = 0$, ngược lại thực hiện lệnh kế tiếp.
• JNZ Ri, L: nhảy đến nhãn L nếu $R_i \ne 0$, ngược lại thực hiện lệnh kế tiếp.
• HALT: dừng chương trình.

Chương trình luôn đảm bảo dừng sau tối đa $2 \times 10^6$ bước, và nếu không có lệnh HALT thì việc thực thi kết thúc khi con trỏ lệnh vượt quá lệnh cuối cùng.

Ví dụ: chương trình tính tổng $1+2+\cdots+5$:

MOV R0, 5
MOV R1, 0
MOV R2, 1
loop:
JZ R0, end
ADD R1, R1, R0
SUB R0, R0, R2
JMP loop
end:
HALT

cho kết quả cuối: $R_0=0, R_1=15, R_2=1$, các thanh ghi còn lại bằng $0$.