solution

Trong nhiều ngôn ngữ (như Python), phạm vi (scope) của một khối lệnh được xác định bởi mức thụt lề (indentation) thay vì cặp dấu ngoặc { }. Bạn cần xây dựng một bộ phân giải tên (name resolver) đơn giản mô phỏng bảng ký hiệu (symbol table) theo cơ chế này.

Chương trình gồm $n$ dòng lệnh. Mỗi dòng lệnh có thể được thụt vào một số chẵn khoảng trắng ở đầu dòng; gọi $level = (\text{số khoảng trắng đầu dòng}) / 2$ là mức phạm vi của dòng đó (dòng không thụt lề có $level = 0$, tức phạm vi toàn cục).

Có hai loại lệnh (sau phần thụt lề):

• let <name> = <value>: khai báo biến name (giá trị nguyên value, có thể âm) tại scope ứng với $level$ của dòng này.
• print <name>: in ra giá trị của name, được phân giải bằng cách tìm từ scope ở $level$ hiện tại lùi dần về scope toàn cục ($level=0$), lấy giá trị ở scope gần nhất (level cao nhất) có khai báo name. Nếu không tìm thấy ở scope nào, in undefined.

Quy tắc quản lý scope theo mức thụt lề: Hãy hình dung một ngăn xếp các scope, ngăn xếp luôn có ít nhất 1 phần tử (scope toàn cục ở đáy, index 0). Khi xử lý một dòng có mức $level = L$:

• Nếu $L$ lớn hơn mức cao nhất đang có trên ngăn xếp, hãy mở thêm các scope rỗng mới cho đến khi ngăn xếp có đúng $L+1$ scope.
• Nếu $L$ nhỏ hơn mức cao nhất đang có, hãy đóng (loại bỏ hoàn toàn, kể cả các khai báo bên trong) tất cả các scope có level $> L$.
• Sau đó thực hiện lệnh của dòng tại scope mức $L$.

Ví dụ ($n=6$):

let x = 1
  let y = 2
  print x
    let x = 5
    print x
print x

Kết quả:

1
5
1

(Dòng print x ở level 1 không thấy y, tìm x ở level 0 ra 1; dòng print x ở level 2 thấy x=5 khai báo ngay tại level 2; dòng print x cuối cùng ở level 0 làm đóng toàn bộ các scope level 1, 2 nên chỉ còn x=1 ở level 0).