hola como andan?
haciendo este ejercicio tomo la tira z=a^N#b^N y encuentro todas sus descomposiciones. el problema lo tengo al llegar a un zi=a^(N+(i-1)*p)#b^(N+(i-1)r) con p+r>0 . estuve buscando en parciales anteriores y entiendo que toman el caso en el que p>0 y en el que r>0, pero mi duda es hay que considerar el caso en el que p y r son iguales?
hola,
con esa tira no vas a poder probar que no es libre de contexto, por lo que dice juanjo acá https://eva.fing.edu.uy/mod/forum/discuss.php?d=237795#p528348 . acordate que siempre queremos una tira que tenga "pinta de" no libre de contexto, sino, como con la tira que elegiste, en algún caso no vas a poder romper el
con esa tira no vas a poder probar que no es libre de contexto, por lo que dice juanjo acá https://eva.fing.edu.uy/mod/forum/discuss.php?d=237795#p528348 . acordate que siempre queremos una tira que tenga "pinta de" no libre de contexto, sino, como con la tira que elegiste, en algún caso no vas a poder romper el
en cuanto a tu otra duda, si, deberías plantear todos los casos. cuando elegis casos dentro de una familia, en realidad lo que estas haciendo es generar más familias, porque esas familias que elegiste en realidad no eran tan parecidas y tenes que dividirlas para romperlas. por esto, no deberías dejar ningun caso afuera, porque sería como dejar tiras afuera :) te dejo acá un link donde discutieron mucho el tema de las familias y capaz que te sirve https://eva.fing.edu.uy/mod/forum/discuss.php?d=236553
si no se entiende pregunta de nuevo por favor,
saludos!
entiendo, quedo clarisimo :))
gracias!!
gracias!!
Hola Belén, tratando de resolver este ejercicio y teniendo en cuenta tu respuesta sobre que conviene tomar candidatos que no tuvieran la forma de libre de contexto, con unos compañeros se nos ocurrió la tira z = a^(n).b^(n)#b^(n).a^(n), aplicamos el contrarrecíproco del PL y parece que dio todo ok, pero esa tira puede ser reconocida por un APD, no?. Mas tarde se me ocurrió la tira z = a^(n+1)b^(n)#b^(n+1)a^(n) que tiene pinta de que no es posible reconocerla mediante un APD.
Quería consultar cual tira seria la correcta en este caso, o podrían ser ambas?
Gracias.
Quería consultar cual tira seria la correcta en este caso, o podrían ser ambas?
Gracias.
hola!
en cuanto a la primer tira, se te ocurre algún APD que la reconozca? tené en cuenta que la "memoria" que tiene un APD consiste en apilar y desapilar, en forma LIFO: el primero que ingresa al stack es el último en salir (o el último en ingresar es el primero en salir)
sobre la segunda, puede haber más de una tira válida :) esa es una opción
en cuanto a la primer tira, se te ocurre algún APD que la reconozca? tené en cuenta que la "memoria" que tiene un APD consiste en apilar y desapilar, en forma LIFO: el primero que ingresa al stack es el último en salir (o el último en ingresar es el primero en salir)
sobre la segunda, puede haber más de una tira válida :) esa es una opción
hola de nuevo,
por las dudas aviso que edité el mensaje anterior porque había escrito mal el tipo de memoria. El concepto que les quería transmitir sí era correcto: el último en ingresar es el primero en salir en el stack
por las dudas aviso que edité el mensaje anterior porque había escrito mal el tipo de memoria. El concepto que les quería transmitir sí era correcto: el último en ingresar es el primero en salir en el stack