Vasya và Hệ thống kiểu

Ngôn ngữ lập trình giả định &K* có hệ thống kiểu rất mạnh. Bạn cần viết một trình phân tích nhỏ cho hệ thống này.

Ngôn ngữ chỉ có hai kiểu cơ bản: void và errtype. Trên mỗi kiểu, ta có hai phép toán:

• Phép con trỏ: thêm dấu * vào bên phải kiểu $X$ tạo ra kiểu mới $X*$.
• Phép giải tham chiếu: thêm dấu & vào bên trái kiểu $X$. Nếu $X$ là một kiểu con trỏ thì kết quả là kiểu mà $X$ trỏ tới; nếu giải tham chiếu void thì kết quả là errtype.

Quy tắc đặc biệt:

• Phép con trỏ có độ ưu tiên cao hơn phép giải tham chiếu. Do đó biểu thức &T* luôn bằng $T$ (khi $T$ không phải errtype).
• Với errtype, đẳng thức sau luôn đúng: errtype* = &errtype = errtype.
• Sử dụng một định danh chưa từng được định nghĩa cũng cho kết quả errtype.

Có hai loại lệnh:

• typedef A B — định nghĩa kiểu mới $B$ tương đương với kiểu $A$ tại thời điểm hiện tại (đưa $A$ về dạng chuẩn void**...* hoặc errtype rồi gán cho $B$). $A$ có thể chứa các dấu * và &; $B$ là một định danh đơn (không có * hay &, khác void và errtype). Có thể typedef lại một tên đã định nghĩa — chỉ định nghĩa mới nhất là có hiệu lực, nhưng các kiểu khác đã được định nghĩa dựa trên giá trị cũ thì không thay đổi.
• typeof A — in ra kiểu của $A$ ở dạng void**...* (số dấu * có thể bằng $0$) hoặc errtype.

Các lệnh được thực thi tuần tự. Ví dụ, sau hai lệnh typedef &void a rồi typedef a* b: bước đầu $a$ trở thành errtype, do đó $b=$ errtype* = errtype, không phải &void* = void.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ — số lệnh.
• $n$ dòng tiếp theo, mỗi dòng chứa một lệnh dạng typedef A B hoặc typeof A.

Dữ liệu ra

Với mỗi lệnh typeof, in ra một dòng chứa kết quả.

Ràng buộc

• $1\le n\le 100$
• Mọi tên kiểu là chuỗi không rỗng gồm tối đa $20$ chữ cái Latin thường.
• Trong mỗi lần xuất hiện, số dấu * và số dấu & không vượt quá $10$ mỗi loại; nhưng khi quy về dạng void**...* thì số * có thể lớn hơn $10$.

Ví dụ

Lưu ý cho ví dụ thứ ba: sau hai lệnh typedef đầu, $b=$ void* và $c=$ void**. Lệnh typedef &b b đổi $b$ thành &void* = void (giá trị cũ của $c$ giữ nguyên). Sau typedef &&b* c: $c=$ &&void* = &void = errtype. Lệnh typedef &b* c đặt $c=$ &void* = void. Tiếp đến typedef &void b đưa $b$ thành errtype, kéo theo typedef b******* c ⇒ $c=$ errtype******* = errtype, và lệnh cuối cùng tương tự.