Buenas, nos surgió una duda:
Qué pasa si se crean reglas de una gramática irrestrictra que, en un punto, luego de aplicar reglas, quedan variables que no se pueden reescribir (ya que las reglas que involucran a esas variables tienen como condición el contexto) y para toda ocurrencia de dicha variable, el contexto es diferente al que permite aplicar la regla. Y por tanto no se puede aplicar la regla.
Gracias!