Pero en general el análisis de gramáticas de este tipo es un NP-completo.