 Fournissez une définition Turing-complète de ce qu'est un arbre.
Un arbre est une structure de données composée de nœuds, dont chacun contient des données, une liste de références à d'autres nœuds (nœuds enfants) et une référence à son nœud parent. On dit qu'il est complet de Turing s'il peut être utilisé pour représenter n'importe quelle fonction calculable ou s'il peut être utilisé pour stocker et manipuler n'importe quelle structure de données. Un arbre peut également être dit fini si ses nœuds sont disposés de telle manière qu'un seul chemin peut être emprunté de n'importe quel nœud à n'importe quel autre nœud. Dans un arbre, chaque nœud peut avoir autant de références à des nœuds enfants qu'il le souhaite, mais un nœud enfant ne peut avoir qu'une seule référence à son nœud parent. Un arbre vide est un arbre qui n'a pas de nœuds.