Jepni një përkufizim të plotë Turing se çfarë është një pemë.
Një pemë është një strukturë të dhënash e përbërë nga nyje, secila prej të cilave përmban të dhëna, një listë referencash për nyjet e tjera (nyjet fëmijë) dhe një referencë për nyja mëmë e saj. Thuhet se është Turing-complete nëse mund të përdoret për të përfaqësuar ndonjë funksion të llogaritshëm ose nëse mund të përdoret për të ruajtur dhe manipuluar çdo strukturë të dhënash. Një pemë mund të thuhet gjithashtu se është e fundme nëse nyjet e saj janë të rregulluara në atë mënyrë që vetëm një shteg mund të merret nga çdo nyje në çdo nyje tjetër. Në një pemë, çdo nyje mund të ketë aq referenca për nyjet fëmijë sa dëshiron, por një nyje fëmijë mund të ketë vetëm një referencë për nyjen e saj mëmë. Një pemë e zbrazët është një pemë që nuk ka nyje.