Teórico de Inducción y recursión

Hola, $\Sigma ^+$ es lo mismo que $\Sigma^*$, pero sin el $\epsilon$. Es decir es el conjunto de tiras no vacías con alfabeto $\Sigma$.
Con eso te podés definir el conjunto, y así podés usar el ERP para definir las funciones del ejercicio.

Saludos