Ejercicio 15 parte B

Ejercicio 15 parte B

de Juan José Casafus Collazo -
Número de respuestas: 7

Buenas!

Defini la funcion sacar_de_la_izquierda de la siguiente forma (haciendo la induccion en N):

1. sacar_de_la_izquierda(w,0) = w

2. sacar_de_la_izquierda(w,n+1) = sacar_de_la_izquierda(resto(w),n)

la funcion resto es del ejercicio 12 pero generalizado para Σ∗ en vez de para Σ+ ya que necesito poder hacer resto(ε) y que me de ε,

mi pregunta es si esta bien eso? por que no se me ocurre otra manera de hacerlo, y por lo que entendi no puedo hacer:

sacar_de_la_izquierda(xw,n+1) = sacar_de_la_izquierda(w,n)

por que seria como hacer 2 ERP al mismo tiempo? tengo esa duda

Gracias!

En respuesta a Juan José Casafus Collazo

Re: Ejercicio 15 parte B

de Guillermo Calderon - InCo -
Es correcta tu definición.
En respuesta a Guillermo Calderon - InCo

Re: Ejercicio 15 parte B

de Santiago Santana Deniz -
Buenas tardes! Sería correcto definirlo de la siguiente manera:
- sacar_de_la_izquierda(e,0) = e
- sacar_de_la_izquierda(w, n+1) = si n < largo(w) entonces resto(sacar_de_la_izquierda(w,n)) sino e.


Saludos!
En respuesta a Santiago Santana Deniz

Re: Ejercicio 15 parte B

de Nicolas Alejandro Lacurcia Macchi -
Hola, gente. Y esta definición sería correcta?
- sacar_de_la_izquierda(€, n) = €
- sacar_de_la_izquierda(w, 0) = w para todo w perteneciente a sigma asterisco
- sacar_de_la_izquierda(xw, n) = sacar_de_la_izquierda(w, n-1)

Así me aseguro que termina siempre, cuando se sacan las letras necesarias devuelve las que quedan y si se terminan antes, devuelve €. Aguardo comentarios y gracias.
En respuesta a Santiago Santana Deniz

Re: Ejercicio 15 parte B

de Guillermo Calderon - InCo -

La definición debe seguir el ERP de los naturales o de Σ*.

Esta definición no sigue ninguno de los dos.

En respuesta a Guillermo Calderon - InCo

Re: Ejercicio 15 parte B

de Nicolas Alejandro Lacurcia Macchi -
Gracias por tu respuesta, Guillermo. Según entendí, sería correcto plantearlo de esta manera? o estaría equivocado tambien y hay que hacerlo usando una función adicional Resto sobre Sigma asterisco como dijo el compañero de arriba?

- sacar_de_la_izquierda(€, n) = €
- sacar_de_la_izquierda(xw, n) = xw , si n=0 , ó sacar_de_la_izquierda(w, n-1),
En respuesta a Nicolas Alejandro Lacurcia Macchi

Re: Ejercicio 15 parte B

de Juan Diego Campo -
Hola Nicolás, tu definición también es correcta. Vos definiste la función por ERP en \Sigma*.
La definición de arriba que usa resto usa el ERP de los naturales.

En este caso, la función se puede definir siguiendo cualquiera de los dos esquemas, y ambas definiciones están bien.


Saludos