Un albero è una struttura di dati composta da nodi, ognuno dei quali contiene dati, un elenco di riferimenti ad altri nodi (nodi figlio) e un riferimento al suo nodo padre. Si dice che sia Turing-complete se può essere utilizzato per rappresentare qualsiasi funzione calcolabile o se può essere utilizzato per memorizzare e manipolare qualsiasi struttura di dati. Si può anche dire che un albero è finito se i suoi nodi sono disposti in modo tale che solo un percorso può essere preso da qualsiasi nodo a qualsiasi altro nodo. In un albero, ogni nodo può avere tutti i riferimenti ai nodi figli che desidera, ma un nodo figlio può avere solo un riferimento al suo nodo genitore. Un albero vuoto è un albero che non ha nodi.
Fornire una definizione completa di Turing di cosa sia un albero.