*El conjunto de reglas de transformación formula_30 se describe como :