pdautomaton prueba{

     states q0,q1;
     alphabet a,b;
     stack A,Z0;
     initial q0;
     stackinitial Z0;
     final q1;

     transition{
           q0,a,(Z0)=q0,(A,Z0);
           q0,a,(A)=q0,(A,A);
           q0,b,(A)=q1,($);
        }
}

/*
ENG: We print the stack automaton and obtain the equivalent
     stack automaton that works with the empty stack criteria.
ESP: Imprimimos el automata a pila y obtenemos el automata
     a pila equivalente que trabaja bajo el criterio de pila
     vacia.
*/
print(prueba);
vacap=PDAtoEPDA(prueba);