Est-il possible de voir la sortie du 'pré-processeur' TeX, i. e. l'étape intermédiaire avant que la sortie proprement dite soit effectuée, mais toutes les macros définies par l'utilisateur sont remplacées et seulement un sous-ensemble de primitives TeX est-il laissé?Transformer une source tex pour que toutes les macros soient remplacées par leur définition
Ou n'y a-t-il pas une telle étape intermédiaire?
Mais vos exemples peuvent être clairement analysés. '\ def \ démo {\ def \ démo {cde}} \ demo' évalue à \ def \ démo {\ def \ démo {cde}} \ def \ démo {cde}' et parce qu'il n'y a pas d'évaluation possible après étape, nous pouvons supprimer toutes les instructions 'def 'et ainsi l'avoir réduit à ∅. - '\ def \ demo {\ def \ démo {c {\ it de}}} \ demo \ demo' mais finirait par évaluer' c {\ it de} '. – Debilski
Dans ce cas oui, mais dans une utilisation réelle, nous pourrions avoir plusieurs définitions pour \ demo et utilisé à plusieurs endroits. Le point que je voulais savoir, c'est que chaque macro n'a pas de texte de remplacement fixe, et donc vous ne pouvez pas simplement remplacer les choses avec leur code. Bien sûr, TeX lui-même remplace les choses si elles sont des macros, mais pas en "one shot": chaque jeton est examiné comme il le faut. –