Dejemos que $L$ sea un lenguaje regular, y sea $$ L_1 = \{u_1\#u_2\# \dotsm \#u_n \mid v_1,v_2,…,v_{n-1} \in \Sigma^3 \text{ such that } u_1v_1u_2 \dotsm v_{n-1}u_n \in L \} $$ donde $\# \notin \Sigma$ .
Por ejemplo: $\Sigma = \{0,1\}$ , $L = \{010101\}$ , $L_1 = \{\#\#, 01\#1, 0\#01\}$ .
Mi idea del proceso era tratar de validar por esta lógica. Digamos que recibo la palabra $z = 01\#1$ . Luego compruebo cuántos caracteres he pasado antes de llegar a $\#$ Si he pasado $n \leqslant 2$ entonces $u_1 = 01$ , y lo envío a $L$ autómatas para la validación. Entonces me salto $\#$ y continuar con la misma lógica. No estoy seguro de que mi solución funcione y no se me ocurre cómo dibujarla.
