hola:
te diría que tu solución confunde notaciones. a) supongo que la primera tabla es AFND-éps -> AFND. en ese caso, los valores de las celdas tienen que ser conjuntos, no estados; b) el recuadro sería AFND-> AFD? en ese caso, salvo que hayan cambiado el algoritmo, el estado inicial sería [q0] que no se ve reflejado ahí.
dicho esto, revisá bien el primer pasaje... la épsilon clausura se debe aplicar tanto al estado de partida como al conjunto de llegada luego de leer la letra. además, te diría que revises el segundo también: este algoritmo no usa la tabla original agregando nuevos estados, sino que los estados se van agregando, precisamente, a medida que se hacen alcanzables, siendo fusiones de los conjuntos orginales.
saludos,
d.-
