Esa tabla estaba en el resuelto del final
La tabla que yo hice es igual pero sin el estado 0 final, llegue partiendo de la ER
(b+c)b*d(b+c+d)*+palabraVacia
Hice un AFN de eso después lo pasé a AFD y lo hice mínimo, pero no entiendo porqué el estado inicial también tiene que ser final
Es más creo que está mal la respuesta, porque no se llega nunca al estado 0 en esa tabla u.u

---

Ahhhh por la palabra vacía, que gil

Si, eso te iba a decir pero me ganaste de mano jeej

Pero como llegaste a esa tabla ?

---

Mi tabla es

TT | b c d
0-+| 1 1 -
1 | 1 - 3
3+ | 3 3 3

Con esta ER
(b+c)b*d(b+c+d)*+palabraVacia
Hice el AFN, aunque era más facil hacer el AFD directamente

La tabla del AFN es
TT__ b __c__ d_ palabraVacia
0-+| {1} {1} _- {2}
1_ | {1} _- _{2} -
2+ | {2} {2} {2} -

Lo pasé a AFD aplicando calusuras-e conjunto hacia después lo hice mínimo que en realidad ya era mínimo y no hacía falta.
Edit: Y cuando lo pasé a AFD, al hacer la clausura-e(0)={0,2} me olvidé que el 2 era estado final, entonces ahi queda que todo el estado como final, por eso el estado inicial es final

Pero si hacés el AFD de la imágen directamente la tabla es
TT__ b c d
0-+| 1 1 -
1_ | 1 - 2
2+ | 2 2 2

Si,entiendo lo que hiciste
Yo lo hice de otra manera y sin embargo llegue a la misma tabla final

GRACIAS !!!

(31-07-2011 17:11)batty escribió:  En este mismo final
2) Sea la metaER ([bc](b*d[b-d]*))? Escriba la Def. Formal del AFD mínimo, sin estados erróneos, que reconoce este LR
RTA: ADD = ({0,1,2},{b,c,d},TT,0,{0,2})
TT__ b c d
0-+| 1 1 -
1_ | 1 - 2
2+ | 2 2 2

La ER sería (b+c)b*d(b+c+d)*+palabraVacia?
Hice un AFN de esto y después lo pasé a AFD y lo convertí en AFD mínimo y me dio la misma tabla del resuelto excepto el estado inicial, el resuelto dice que el estado 0 además de inicial es final.. no entiendo porque

BATTY creo q lo q hay q hacer es hacer la interseccion de los dos afds
TT1^TT2 pagina 36
despues te queda
TT1^TT2 a b
0- 1 2
1 1 3
2 3 3
3+ 3 3

TTcomp a b
0-+ 1 2
1+ 1 3
2+ 3 3
3 3 3

sacas el estado de rechazo

TTcomp a b
0-+ 1 2
1+ 1 -
2+ - -

pasas de AFD->ER
0=1a+2b+eps
1=1a+eps
2=eps

llegas a 0=a*a+b+eps

pero como t pide sin eps
te termina quedando
ER=a+b

batty,
acabo de hacer el ej (bastante largo por cierto). El estado inicial es final por que si te fijas, en el enunciado te dice que se genera la palabra vacia. Entonces cuando hagas el AFN vas a tener una transicion ε que llegue del primer estado al ultimo (en mi automata eran 25 :unsure. Por lo tanto cuando hagas la clausura-ε del primer estado (para empezar la transformación del AFN al AFD) vas a ver que vas a incluir el ultimo estado, por lo tanto el estado inicial se convierte en estado final (acordate que para saber cuales son los estados de aceptación del AFD resultante, son todos aquellos conjuntos que incluyen el estado de aceptación del AFN).

Espero haber sido claro...

En fin, suerte!

(31-07-2011 17:11)batty escribió:  En este mismo final
2) Sea la metaER ([bc](b*d[b-d]*))? Escriba la Def. Formal del AFD mínimo, sin estados erróneos, que reconoce este LR
RTA: ADD = ({0,1,2},{b,c,d},TT,0,{0,2})
TT__ b c d
0-+| 1 1 -
1_ | 1 - 2
2+ | 2 2 2

La ER sería (b+c)b*d(b+c+d)*+palabraVacia?
Hice un AFN de esto y después lo pasé a AFD y lo convertí en AFD mínimo y me dio la misma tabla del resuelto excepto el estado inicial, el resuelto dice que el estado 0 además de inicial es final.. no entiendo porque

Tardisimo, pero por si alguien lo ve, el estado 0 es final porque todo es opcional, del '?'