En la solución propuesta para el calculo del autómata mínimo no se agrega el estado pozo previo a la minimizacion. Tampoco lo hace en la parte b) del ejercicio para resolver el sistema de ecuaciones. Esto esta bien?
hola:
¿2013 o 2015?
de todas forma,: en el modelo AFD, delta parcial es una simplificación de notación, pero no es un modelo válido per se: hay un estado implícito, que es un "pozo". ¿se puede minimizar sin considerar a ese estado implícito? sí, se puede, pero hay que tener mayor cuidado al hacerlo: estados que tienen transiciones definidas son distintos de otros que no lo tienen, puede haber otros estados pozos, o que colapsan en uno, que en realidad terminaría juntado con el implícito, etc.
mi recomendación es: agreguen siempre el estado pozo para minimizar, porque no complica en absoluto la aplicación del algoritmo y se ahorran el cuidado extra. ahora, si les gusta más no hacerlo, pueden seguir con esa práctica. si tienen los cuidados necesarios y el resultado es correcto, el ejercicio estará bien resuelto.
en cambio, al calcular las clases de equivalencia de RM / RL(si es mínimo) SIEMPRE deben considerar al estado pozo, pues ese estado implícito define una clase de equivalencia. recuerden que tanto RM como RL definen una partición de sigma*, y si no calculan la clase correspondiente estarían dejando de considerar tiras de sigma* que deberían estar en alguna clase de esa partición.
saludos,
d.-
Diego, ok entendido. Gracias por la respuesta estaba algo confundido con la minimizacion y el calculo de de clases.
Saludos