solution

SDD sinh mã ba địa chỉ (three-address code) cho biểu thức số học gắn hai thuộc tính tổng hợp cho mỗi biểu thức con $E$: E.place (tên biến/hằng/biến tạm lưu giá trị) và E.type (kiểu suy diễn được). Với luật $E \to E_1\; op\; E_2$: một biến tạm mới $t$ được cấp phát, một bộ tứ (quadruple) t = E1.place op E2.place được sinh ra (theo đúng thứ tự toán hạng trái–phải), và:

• Nếu $op \in \{+,-,*\}$: $E.\text{type} = \text{int}$ nếu cả hai toán hạng đều int, ngược lại $E.\text{type} = \text{float}$ (ép kiểu ngầm định khi trộn int và float).
• Nếu $op = /$: $E.\text{type} = \text{float}$ luôn luôn (phép chia luôn trả về float).

Cho một bảng ký hiệu gồm các biến (tên, kiểu $\in \{$int, float$\}$) và một biểu thức dạng hậu tố (postfix, các token cách nhau bởi khoảng trắng) chỉ gồm toán hạng (tên biến trong bảng ký hiệu, hoặc hằng số — hằng chứa dấu . có kiểu float, ngược lại int) và các toán tử + - * /, hãy mô phỏng SDD nói trên: các biến tạm được đặt tên t1, t2, t3, ... theo thứ tự sinh ra (bắt đầu từ 1). Biểu thức đầu vào luôn hợp lệ về cú pháp (đủ toán hạng cho mọi toán tử, kết quả cuối cùng là một giá trị duy nhất).