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