He estado intentando resolver una duda que tengo y creo que estoy en lo cierto pero no estoy seguro. ¿Es el lenguaje {w| www pertenece a L' y L' es regular} regular? No pude encontrar ninguna manera de demostrar que no es regular, así que pensé que tal vez lo es, Lo que consideré es el siguiente escenario, supongamos que tenemos el autómata A(L') Nos fijamos en el Delta(q0,www) = qF para cada palabra de la forma www en L' , y podemos suponer que existe un estado qi que Delta(q0,w) = qi, y Delta(qi,ww) = qF, Así que como eso es cierto (por razones obvias) puedo construir un autómata que el estado qi es un estado de aceptación para cada palabra www en el autómata original y eliminar otros estados de aceptación del autómata y ahora tenemos un autómata que acepta la palabra w para cada palabra www que existía en L' lo que significa que L es regular (porque tiene un dfa/nfa). ten en cuenta que w es una palabra completa de longitud desconocida.
¿Esta idea básica es correcta o se me escapa algún agujero?