b"\n_START_ARTICLE_\nAut\xc3\xb2mat amb pila d'arbre\n_START_PARAGRAPH_\nEn teoria d'aut\xc3\xb2mats, un aut\xc3\xb2mat amb pila d'arbre \xc3\xa9s un aut\xc3\xb2mat amb la capacitat de manipular una pila amb forma d'arbre. \xc3\x89s un aut\xc3\xb2mat amb emmagatzemament on el seu element d'emmagatzematge s'assembla al de l'aut\xc3\xb2mat per subprocessos. Aquest tipus d'aut\xc3\xb2mats reconeixen els llenguatges generats per m\xc3\xbaltiples gram\xc3\xa0tiques lliures de context o llenguatges lineals de reescriptura lliure de context.\n_START_SECTION_\nFormalismes relacionats\n_START_PARAGRAPH_\nAquesta mena de m\xc3\xa0quines son equivalents a les M\xc3\xa0quines de Turing._NEWLINE_Un aut\xc3\xb2mat amb pila d'arbre s'anomena restringit-k per algun nombre positiu k si durant qualsevol moment de l'execuci\xc3\xb3 de l'aut\xc3\xb2mat, qualsevol posici\xc3\xb3 de la pila d'arbre s'hi accedeix com a m\xc3\xa0xim k cops._NEWLINE_Un aut\xc3\xb2mat restringit-1 \xc3\xa9s equivalent a un aut\xc3\xb2mat a pila i per tant tamb\xc3\xa9 \xc3\xa9s equivalent a les gram\xc3\xa0tiques lliures de context. Un aut\xc3\xb2mat restringit-k \xc3\xa9s equivalent a una gram\xc3\xa0tica de sistema lineal de rescriptura lliure de context i a m\xc3\xbaltiples gram\xc3\xa0tiques lliures de context de sortida com a molt k."