Teoría de la computación Este programa facilita la conversión de automatas de pila a gramaticas libres de contexto.