Las reglas de producción son de la siguiente forma: