Para ES-gramáticas basadas en reglas de reescritura se tiene: