Buenas tardes,
Me quedo una duda sobre este, ejercicio. Cuando lo hice, con el fin de eliminar posibles familias de descomposiciones, hice una homotecia tal que h(#) = epislon, h(c) = epislon, h(a) = a, h(b) = b.
De esta forma solo tenía que probar que el conjunto de las x de la forma x = (a|b)* donde |x|_a > |x|_b > 0 es no regular.
¿Es correcto utilizar esa herramienta con este propósito? ¿O la idea es que en este tipo de ejercicio trabajemos con la familia en sí misma?
Saludos,
Daniel