Buenas
queria consultar si el Análisis de Kleen como el método para hallar las clases de equivalencia de Rm siempre van a tener solución bajo las hipotesis que se piden o podemos caer en algún caso donde sea imposible despejar.
en el siguiente automata no logro encontrar solución posible(es un ejemplo que hice)
El automata es completo y ademas esta contemplado el pozo.
Saludos
Buen día Edison ¿cómo estás?
Hasta donde llega mi conocimiento, los métodos de Análisis de Kleene y Clases de equivalencia aseguran su resultado para cualquier autómata finito determinista. El Análisis de Kleene también puede aplicarse a un autómata finito no determinista aunque conviene eliminar sus transiciones épsilon previamente, como se menciona en el documento de su enunciado disponible en la pestaña de Teórico.
En este caso el autómata que diseñaste es no determinista; vemos por ejemplo que 
. Así que antes de aplicar el método de clases de equivalencia de 
(que es el que estás aplicando en la imagen que adjuntás) hay que hallar el AFD mínimo equivalente.
EDIT: ¡Cuidado! El autómata que propusiste no está completo. Las transiciones 
, 
, 
y 
no están definidas.
Y bien ahí con lo de inventarse ejemplos para explorar el comportamiento de los métodos vistos en el curso :D
Cualquier duda a las órdenes.
Saludos,
Santi
Edison, podría revisarlo pero me llevaría un rato y me gustaría no trancarte. Si vas hoy a la clase presencial buscame y lo vemos en detalle :D
Pero es como decís: cuanto más estados tenga el autómata, más ecuaciones vamos a tener y por lo tanto más complicado es visualizar la manera de sustituir en un lado u otro. Pero cuidado: ¡no se puede hallar las clases de RL sin antes minimizar el autómata! Sí se pueden hallar las clases de RM, pero no coincidirán con las de RL (por el Teorema de Myhill-Nerode).
Así que sí, seguí lo que aconseja la letra y primero minimizá el autómata.
Saludos,
Santi
PD: Recordá que además de todos los ejercicios de práctico, están los ejercicios de parciales y exámenes que tienen soluciones donde podés chequear que los procedimientos los entendiste bien.