Una definición equivalente evita la regla 1 ("A" → "a") ya que es sustituible por: