Automates sur les Arbres

Automates qui traitent des entrées structurées en arbres plutôt que des mots, reconnaissant des ensembles d′arbres finis ou infinis (rangés ou non) selon des conditions d′acceptation ; ils caractérisent les langages d′arbres réguliers et servent à décider des propriétés de modèles de termes, de logiques sur arbres et de problèmes de vérification à structure branchée.