Buenas noches, haciendo parciales me surgió una duda. En un ejercicio que da un AFND-e y pide minimizarlo para después hallar las clases de equivalencia de RM/RL, sé que hay que convertirlo a AFD antes. Mi duda surge en que en algunos ejercicios agregan el estado pozo a ese AFD antes de hacer el algoritmo de minimización, y en otros lo agregan luego de haber terminado dicho algoritmo. Las dos formas son igual de correctas o habría que tener algún tipo de consideración con alguna? Gracias, saludos!
hola:
en principio, cualquiera de las dos opciones estarían bien. sin embargo, minimizar _sin_ el estado pozo es bastante delicado, porque podría incluir a posibles estados pozos "ocultos" (por ejemplo, dos estados de no aceptación que permiten ciclar entre ellos), estados sin transiciones para algunos símbolos pero para otros sí, etc.. entonces, hay que tener en cuenta las transiciones faltantes para decidir si dos estados se comportan de forma diferente, lo que no siempre es fácil.
mi consejo es que _siempre_ completen la función delta agregando el estado pozo antes de aplicar el algoritmo de minimización. a diferencia de otros algoritmos, esto no agrega complejidad para su aplicación y evita que cometan errores de distracción.
saludos,
d.-