A redefinition of Embedded Push-Down Automata

A new definition of Embedded Push-Down Automata is provided. W e prove this new definition preserves the equivalence with tree adjoining languages and we provide a tabulation framework to execute any automaton in polynomial time with respect to th e length of the input string.