pdautomaton prueba{

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

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

/*
ENG: We print the stack automaton and obtain the equivalent
     stack automaton that works with the final states criteria.
ESP: Imprimimos el automata a pila y obtenemos el automata
     a pila equivalente que trabaja bajo el criterio estados
     finales.
*/
print(prueba);
finap=PDAtoFPDA(prueba);