French Automate d'arbres infinis Cited by user Fschwarzentruber on 12 Feb 2018 En informatique théorique, plus précisément en théories des langages, un automate d'arbres infinis est une machine à états qui prend en entrée un arbre infini.