Un théorème de duplication pour les forêts algébriques

摘要

On caractérise les forêts algébriques dont tous les arbres sont de la forme α(t, t). On utilise cette caractérisation pour montrer que la classe des forêts algébriques n'est par fermée par homomorphisme non linéaire, et pour montrer qu'il existe des forêts reconnaissables généralisées, au sens de Maibaum, dont le feuillage n'est pas une forêt algébrique.