Teórico de Inducción y recursión

Hola.

Una forma de ver el problema es tratar de escribir una funcion (por ejemplo, $f : \mathcal{N}\times \Sigma^* \to \Sigma^*$ que trate de seguir el esquema de recursión de $\Sigma^*$ pero que no pare o que nos devuelva dos valores para la misma pareja (viole la funcionalidad).

Saludos

FDO.