solution

Nhiều trình biên dịch cho ngôn ngữ có cấu trúc khối (block-structured) như Pascal cấp phát bộ nhớ cho biến cục bộ theo nguyên tắc NGĂN XẾP: các phạm vi (khối) không hoạt động đồng thời có thể DÙNG CHUNG cùng một vùng địa chỉ, vì tại một thời điểm chỉ có tối đa một trong số các khối anh em (sibling) đó đang thực thi.

Cho một dãy lệnh:

• BEGIN: mở một phạm vi con mới; phạm vi con này BẮT ĐẦU cấp phát từ đúng vị trí (offset) hiện tại của phạm vi cha (tức là dùng lại phần bộ nhớ "còn trống" phía sau những gì phạm vi cha đã cấp phát tính đến thời điểm này).
• END: đóng phạm vi con hiện tại. Bộ đếm offset của phạm vi cha KHÔNG bị ảnh hưởng bởi những gì phạm vi con vừa đóng đã cấp phát (toàn bộ vùng nhớ mà phạm vi con dùng được giải phóng, sẵn sàng cho phạm vi anh em tiếp theo tái sử dụng).
• DECL <ten> <size>: khai báo biến <ten> cần <size> byte ($1 \le \text{size} \le 10^6$) trong phạm vi hiện tại. Biến được cấp phát tại địa chỉ (offset) bằng giá trị bộ đếm hiện tại của phạm vi đó, sau đó bộ đếm của phạm vi đó tăng thêm <size>.

Phạm vi toàn cục có bộ đếm offset khởi tạo bằng $0$ và không bao giờ bị đóng.

Với mỗi lệnh DECL, hãy in ra tên biến và địa chỉ (offset) mà nó được cấp phát, theo đúng thứ tự các lệnh DECL xuất hiện.

Ví dụ: với dữ liệu

5
DECL x 4
BEGIN
DECL y 8
END
DECL z 4

x được cấp phát ở offset 0 (chiếm 4 byte, offset toàn cục tăng lên 4). Sau đó một phạm vi con mở ra, KẾ THỪA offset hiện tại của phạm vi cha là 4, nên y được cấp phát ở offset 4. Khi phạm vi con đóng lại, offset của phạm vi toàn cục KHÔNG đổi (vẫn là 4, không cộng dồn phần mà y đã dùng), nên z — khai báo sau đó ở phạm vi toàn cục — được cấp phát lại đúng ở offset 4 (tái sử dụng vùng nhớ mà y từng chiếm). Kết quả:

x 0
y 4
z 4