Muchísimas gracias, como en el enunciado del lema de Arden señala que s y r son expresiones regulares no me quedaba tan claro que pudiera aplicarlo sobre variables (aunque ahora que lo confirmás parece evidente ya que en efecto dichas variables son expresiones regulares)...
Saludos,
Octavio