Bidirectional push down automata | Publicación