Autômato com pilha embutido

Um autômato com pilha embutida ou EPDA é um modelo computacional para linguagens de parsing geradas por gramáticas de adjunção de árvores (TAGs). Ele é similar ao parsing de autômato com pilha para gramática livre de contexto , exceto que ao invés de usar uma simples pilha para armazenar símbolos, ele tem uma pilha de iterações de pilhas que armazena símbolos, dando às TAGs uma capacidade de geração entre gramáticas livres do contexto e gramáticas sensíveis ao contexto, ou um subconjunto de gramáticas levemente sensíveis ao contexto.