solution

Khác với máy ảo dựa trên ngăn xếp, nhiều kiến trúc thực (và mã máy đích của trình biên dịch) dùng thanh ghi (register) để lưu giá trị trung gian. Xét một máy thanh ghi mini có 10 thanh ghi $r0, r1, \dots, r9$ (khởi tạo bằng 0) và con trỏ lệnh (instruction pointer). Chương trình gồm các dòng lệnh, mỗi dòng có thể có nhãn (label) đứng trước dạng nhãn: lệnh ... (nhãn là một dãy chữ/số, phân biệt với lệnh bởi dấu :). Các lệnh hỗ trợ (toán hạng val là hoặc một thanh ghi rX, hoặc một hằng số nguyên):

• MOV rX, val: gán $rX \gets val$.
• ADD rX, val / SUB rX, val / MUL rX, val: $rX \gets rX \ \text{op} \ val$.
• DIV rX, val: $rX \gets rX \div val$ (chia lấy phần nguyên làm tròn về 0).
• JMP nhãn: nhảy vô điều kiện tới lệnh có nhãn đó.
• JZ rX, nhãn: nhảy tới nhãn nếu $rX = 0$.
• JNZ rX, nhãn: nhảy tới nhãn nếu $rX \ne 0$.
• PRINT rX: in ra giá trị hiện tại của $rX$.
• HALT: dừng chương trình.

Chương trình bắt đầu thực thi từ lệnh đầu tiên (chỉ số 0). Nếu DIV chia cho 0, in thêm dòng ERROR rồi dừng. Nếu chương trình thực hiện quá $200000$ bước mà chưa HALT (vòng lặp không dừng), in thêm dòng TIMEOUT rồi dừng.

Ví dụ (tính $5!$):

MOV r0, 1
MOV r1, 5
loop: JZ r1, end
MUL r0, r1
SUB r1, 1
JMP loop
end: PRINT r0
HALT

in ra 120.