Buenas! ¿Cuál es la definición inductiva de 
?
Porque lo vi el ejercicio 12 del Práctico 1 pero no veo que se defina ni en el teórico ni en el práctico y, entiendo yo, que para hacer dicho ejercicio se precisa la definición de .
Gracias
Hola, es lo mismo que 
, pero sin el 
. Es decir es el conjunto de tiras no vacías con alfabeto 
.
Con eso te podés definir el conjunto, y así podés usar el ERP para definir las funciones del ejercicio.
Saludos
es lo mismo que , pero sin el . Es decir es el conjunto de tiras no vacías con alfabeto .Con eso te podés definir el conjunto, y así podés usar el ERP para definir las funciones del ejercicio.
Saludos