Có thể xem đầu ra của 'bộ xử lý trước' của TeX, i. e. bước trung gian trước khi đầu ra thực tế được thực hiện nhưng với tất cả các macro do người dùng định nghĩa được thay thế và chỉ một tập hợp con các phần tử gốc TeX còn lại?Chuyển đổi nguồn tex để tất cả các macro được thay thế bằng định nghĩa của chúng
Hoặc không có bước trung gian như vậy?
Nhưng các ví dụ của bạn có thể được phân tích rõ ràng. '\ def \ demo {\ def \ demo {cde}} \ demo' đánh giá thành' \ def \ demo {\ def \ demo {cde}} \ def \ demo {cde} 'và vì không có đánh giá nào sau này bước, chúng ta có thể xóa tất cả các câu lệnh '\ def' và do đó giảm nó xuống ∅. - '\ def \ demo {\ def \ demo {c {\ it de}}} \ demo \ demo' tuy nhiên cuối cùng sẽ đánh giá' c {\ it de} '. – Debilski
Trong trường hợp này có, nhưng trong thực tế, chúng tôi có thể có một số định nghĩa cho \ demo và nó được sử dụng ở nhiều nơi. Điểm tôi nhận được là mỗi macro không có văn bản thay thế cố định và do đó bạn không thể thay thế mọi thứ bằng mã của chúng. Tất nhiên TeX tự thay thế mọi thứ nếu chúng là các macro, nhưng không phải trong "một lần": mỗi mã thông báo được kiểm tra khi cần. –