La estrella de Kleene de un lenguaje unario infinito siempre produce un lenguaje regular

Deje , donde y para todo . $L = \{a^n \mid n \ge 0\}$ $a^0 = \epsilon$ $a^n = a^{n-1}a$ $n \ge 1$

Por lo tanto, consiste en secuencias de de todas las longitudes, incluida una secuencia de longitud . Deje ser cualquier subconjunto infinito de . Necesito mostrar que siempre existe un DFA para reconocer . $L$ $a$ $0$ $L_2$ $L$ $L_2^*$

Si es un subconjunto finito, es muy obvio ya que sería un DFA y, por lo tanto, al cierre de Kleene, sería reconocido por un DFA. Pero no puedo obtenerlo para un subconjunto infinito ya que puede no expresarse como DFA cuando, por ejemplo, las longitudes de cadena son primas. $L_2$ $L_2$ $L_2^*$ $L_2$

formal-languages regular-languages closure-properties

— Aditya Nambiar
fuente

Supongamos que hay dos palabras en el idioma cuyas longitudes son relativamente primas. Deje que estas longitudes sean e . Sabemos (vea esto ) que al sumar estos números entre sí repetidamente, podemos obtener cualquier número mayor que . Entonces, si e son y , podemos escribir cualquier número mayor que como una combinación lineal de y . Lo que esto significa para nosotros: consiste en un lenguaje finito arbitrario (regular, como todos los idiomas finitos), en unión con el idioma $x$ $y$ $(x - 1)(y - 1) - 1$ $x$ $y$ $13$ $7$ $72$ $7$ $13$ $L_2^*$ $\{w \in a^* \mid |a| > (x-1)(y-1)-1\}$ . Este idioma es regular ya que es el idioma de todas las palabras con un conjunto finito de palabras eliminado. Como es una unión de lenguajes regulares, también debe ser regular. $L_2^*$

Si todas las palabras en tienen longitudes que comparten un máximo factor común (llame a este factor común ), entonces repita el argumento anterior, pero en lugar de usar longitudes de cadena, use longitudes de cadena divididas por . En este caso, será la concatenación de un lenguaje finito arbitrario (regular) y el idioma , también regular (ya que $ (a ^ m) ^ * es regular y estamos eliminando finitamente muchas palabras de él). $L_2^*$ $m$ $m$ $L_2^*$ $\{w \in (a^m)^* \mid |w| > m^2[(x/m - 1)(y/m - 1) - 1]\}$

Por ejemplo, suponga que todas las palabras en tienen un MCD de 2, y el lenguaje contiene las palabras y . Tenemos , e , que son relativamente primos. Por lo tanto, sabemos que podemos obtener cualquier palabra cuya longitud sea múltiplo de si la longitud es mayor que concatenando y . $L$ $a^4$ $a^{10}$ $m = 2$ $x/m = 4/2 = 2$ $y/m = 10/2 = 5$ $m$ $m^2[(x/m - 1)(y/m - 1) - 1] = 2^2[(2 - 1)(5 - 1) - 1] = (4)(3) = 12$ $a^4$ $a^{10}$

— Patrick87
fuente