pdautomaton prueba{

     states q0,q1;
     alphabet a,b;
     stack A,B,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
     context free grammar.
ESP: Imprimimos el automata a pila y obtenemos la gramatica
     libre de contexto equivalente.
*/
print(prueba);
gram=PDAtoCFG(prueba);