Buenas a todos,

Les dejo el final que tomaron hoy.
La verdad que no era imposible, yo me quedé en la corrección y cuando vi por lo que me desaprobaron, no lo podía creer. Pero hablando objetivamente, si hubiera hecho bien algún otro ejercicio lo podría haber aprobado.

El punto 1 tiene algunos mal (si alguien me los puede corregir, se lo agradeceré
El punto 2 no lo hice (están todos invitados a resolverlo).
El punto 3 está bien hecho.
De los V o F, los 3 primeros no los hice por inseguridad...la verdad que no quería que me resten. El que está mal les voy a explicar por qué...resulta que la definición formal es una N-upla, y las mismas van entre () y no entre {} como está ahi...
Cuando vi el ejercicio me llamó la atención que sea tan simple determinar la DF, porque realmente, no tenía nada de raro....PERO claro, no me había dado cuenta que te podían joder en otros aspectos. Así que mi consejo a la comunidad: cuando vean que algo es muy fácil, desconfíen mucho, mírenlo con lupa y no paren de preguntarse: "¿puede ser que sea tan fácil?" hasta que lo descubran. Yo me pregunté una sola vez eso, y bue, así me fue...
Éxitos a todos!

Gracias!

Yo también lo rendí, y como decís, era un final aprobable.

El ejercicio 1 era el calco de uno de 2012, no me acuerdo si febrero o agosto.

return; sentSalto
; sentExpresión creo que era
return 35L; sentSalto




el 2 ni lo hice

Creo que las 2 primeras de V/F eran falsas!

Hice el ejercicio 2 y me dió lo siguiente:

TT | a b
0- | 1 -
1+ | - 2
2 | 1 2

No se si está bien ya que recien estoy practicando para el lunes que viene, si alguien puede poner la respuesta correcta me vendria joya. Gracias

(26-02-2013 14:48)Nacho14 escribió:  TT | a b
0- | 1 -
1+ | - 2
2 | 1 2

Yo tambien lo hice. Aplique 1ro algoritmo de clausula-e, y me quedo casi igual, excepto por el 2 que me quedo estado final:

TT | a b
0- | 1 -
1+ | - 2
2+ | 1 2

dsps aplique algoritmo de clases, y me quedo igual que antes.

Alguno mas lo hizo para confirmar?

Les paso el Verdadero y Falso Corregido
1.F
2.F
3.V
4.V
5.F
6.V
7.F

(28-02-2013 19:57)taper escribió:  

(26-02-2013 14:48)Nacho14 escribió:  TT | a b
0- | 1 -
1+ | - 2
2 | 1 2

Yo tambien lo hice. Aplique 1ro algoritmo de clausula-e, y me quedo casi igual, excepto por el 2 que me quedo estado final:

TT | a b
0- | 1 -
1+ | - 2
2+ | 1 2

dsps aplique algoritmo de clases, y me quedo igual que antes.

Alguno mas lo hizo para confirmar?

Creo que no es estado final eh, lo que hice yo fue aplicar clausura-e y conjunto hacia para pasar de una AFN a un AFD y dsp calculé el complemento de ese AFD y ahí como 2 es final pasa a ser no final y el único esta final que te queda es el 1. Dsp calculé el AF mínimo de eso y se me eliminó el estado de rechazo que había agregado para calcular el complemento. Se entiende?

Seria mejor si alguien puede confirmar. Gracias

Por una cosa asi de si un estado es FINAL o NO FINAL te pueden llegar a dar mal todo el ejercicio seguro.

Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

(02-03-2013 02:10)Rodrigoo escribió:  Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

(02-03-2013 03:56)Nacho14 escribió:  

(02-03-2013 02:10)Rodrigoo escribió:  Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

No. Fijate que cuando se hace el complemento el estado de rechazo pasa a ser estado final,es decir deja de ser estado de rechazo. Despues para verificar si es AFD minimo tenes que fijarte si algun estado que pertenece a la misma clase tiene comportamiento igual, despues dividis por clases y verificas de nuevo cambiando los estados de llegada por la clase correspondiente y por ultimo verificas si algun estado no se puede llegar desde el estado inicial. En este caso la tabla ya era minima

(02-03-2013 12:02)Rodrigoo escribió:  

(02-03-2013 03:56)Nacho14 escribió:  

(02-03-2013 02:10)Rodrigoo escribió:  Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

No. Fijate que cuando se hace el complemento el estado de rechazo pasa a ser estado final,es decir deja de ser estado de rechazo. Despues para verificar si es AFD minimo tenes que fijarte si algun estado que pertenece a la misma clase tiene comportamiento igual, despues dividis por clases y verificas de nuevo cambiando los estados de llegada por la clase correspondiente y por ultimo verificas si algun estado no se puede llegar desde el estado inicial. En este caso la tabla ya era minima

Tenes razón. La única diferencia que tengo que en vez de quedarme como a vos la tabla me quedó con un estado de llegada diferente (esta marcado en negrita) muy seguramente fue un error de tipeo. 

TT | a   b
0-  | 1   3
1+ |  3   2
2   |  1   2
3+ |  3   3

Si podes confirmamelo que en caso de no ser un error de tipeo hay algo que no tengo bien claro y lo estoy haciendo mal. Gracias.

(02-03-2013 12:30)Nacho14 escribió:  

(02-03-2013 12:02)Rodrigoo escribió:  

(02-03-2013 03:56)Nacho14 escribió:  

(02-03-2013 02:10)Rodrigoo escribió:  Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

No. Fijate que cuando se hace el complemento el estado de rechazo pasa a ser estado final,es decir deja de ser estado de rechazo. Despues para verificar si es AFD minimo tenes que fijarte si algun estado que pertenece a la misma clase tiene comportamiento igual, despues dividis por clases y verificas de nuevo cambiando los estados de llegada por la clase correspondiente y por ultimo verificas si algun estado no se puede llegar desde el estado inicial. En este caso la tabla ya era minima

Tenes razón. La única diferencia que tengo que en vez de quedarme como a vos la tabla me quedó con un estado de llegada diferente (esta marcado en negrita) muy seguramente fue un error de tipeo. 

TT | a   b
0-  | 1   3
1+ |  3   2
2   |  1   2
3+ |  3   3

Si podes confirmamelo que en caso de no ser un error de tipeo hay algo que no tengo bien claro y lo estoy haciendo mal. Gracias.

La verdad que tire la hoja donde lo había hecho, pero puede ser así, si hiciste bien el pasaje de AFN a AFD esta ok.

(02-03-2013 13:22)Rodrigoo escribió:  

(02-03-2013 12:30)Nacho14 escribió:  

(02-03-2013 12:02)Rodrigoo escribió:  

(02-03-2013 03:56)Nacho14 escribió:  

(02-03-2013 02:10)Rodrigoo escribió:  Acuérdense que para hacer el complemento la tabla tiene que estar completa (ya que el estado de rechazo pasa a ser un estado final). La tabla les va a quedar algo así:
TT | a b
0- | 1 3
1+ | 3 2
2 | 3 2
3+ | 3 3

Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

No. Fijate que cuando se hace el complemento el estado de rechazo pasa a ser estado final,es decir deja de ser estado de rechazo. Despues para verificar si es AFD minimo tenes que fijarte si algun estado que pertenece a la misma clase tiene comportamiento igual, despues dividis por clases y verificas de nuevo cambiando los estados de llegada por la clase correspondiente y por ultimo verificas si algun estado no se puede llegar desde el estado inicial. En este caso la tabla ya era minima

Tenes razón. La única diferencia que tengo que en vez de quedarme como a vos la tabla me quedó con un estado de llegada diferente (esta marcado en negrita) muy seguramente fue un error de tipeo. 

TT | a   b
0-  | 1   3
1+ |  3   2
2   |  1   2
3+ |  3   3

Si podes confirmamelo que en caso de no ser un error de tipeo hay algo que no tengo bien claro y lo estoy haciendo mal. Gracias.

La verdad que tire la hoja donde lo había hecho, pero puede ser así, si hiciste bien el pasaje de AFN a AFD esta ok.

A mi me quedo igual que a nahco, con un 1.

El tema es que creo que lo hicimos todos mal, porque primero calculamos el AFD MINIMO, y DESPUES hicimos el complemento.

Y CREO que segun el enunciado, dice "hacer AFD minimo del automata que es complemento del dado"...osea, que primero hacer el complemento del dado, y despues hacerlo minimo.

Si no es asi, esta bien como todos lo hicimos

(03-03-2013 14:47)taper escribió:  

(02-03-2013 13:22)Rodrigoo escribió:  

(02-03-2013 12:30)Nacho14 escribió:  

(02-03-2013 12:02)Rodrigoo escribió:  

(02-03-2013 03:56)Nacho14 escribió:  Si pero después cuando sacas el AF mínimo el estado de rechazo se elimina por lo que te quedaría como me quedó a mi si mal no tengo entendido
no?

No. Fijate que cuando se hace el complemento el estado de rechazo pasa a ser estado final,es decir deja de ser estado de rechazo. Despues para verificar si es AFD minimo tenes que fijarte si algun estado que pertenece a la misma clase tiene comportamiento igual, despues dividis por clases y verificas de nuevo cambiando los estados de llegada por la clase correspondiente y por ultimo verificas si algun estado no se puede llegar desde el estado inicial. En este caso la tabla ya era minima

Tenes razón. La única diferencia que tengo que en vez de quedarme como a vos la tabla me quedó con un estado de llegada diferente (esta marcado en negrita) muy seguramente fue un error de tipeo. 

TT | a   b
0-  | 1   3
1+ |  3   2
2   |  1   2
3+ |  3   3

Si podes confirmamelo que en caso de no ser un error de tipeo hay algo que no tengo bien claro y lo estoy haciendo mal. Gracias.

La verdad que tire la hoja donde lo había hecho, pero puede ser así, si hiciste bien el pasaje de AFN a AFD esta ok.

A mi me quedo igual que a nahco, con un 1.

El tema es que creo que lo hicimos todos mal, porque primero calculamos el AFD MINIMO, y DESPUES hicimos el complemento.

Y CREO que segun el enunciado, dice "hacer AFD minimo del automata que es complemento del dado"...osea, que primero hacer el complemento del dado, y despues hacerlo minimo.

Si no es asi, esta bien como todos lo hicimos

Yo calcule el complemento y dsp hice el minimo, si mal no recuerdo.

Primero se debería hacer el pasaje de AFN a AFD por medio del conjunto Hacia (ya no tiene Clausuras-Epsilón), despúes habría que completar el AFD obtenido y luego hacer el complemento. A partir de acá se tiene que buscar el AFD mínimo que queda como bien pusieron arriba con 4 estados:
TT | a b
0- | 1 3
1+ | 3 2
2 | 1 2
3+ | 3 3

El de VoF, el 5, es falso porque esa entre {} y no entre () ???