¿Existe algoritmo en tpo. polinomial para la traduc. entre todas las gramáticas libres de contexto?

Partiendo de n gramáticas libres de contexto totalmente definidas, ¿Se puede encontrar o existe un algoritmo en tiempo polinomial que realice las traducciones entre las n gramáticas? o ¿Acaso el problema de la traducción entre gramáticas libres de contexto pertenece a la clase de complejidad NP?, ¿Es el problema de la traducción entre todas las posibles gramáticas libres de contexto simplemente un problema indecidible?

Si es necesario el enunciado anterior se puede cincunscribir a el espacio de dominio de los archivos XML totalmente definidos utilizando su XML-Schema (XSD) asociado.