Given any regular infinite regular language L$L$, how can iI prove that L$L$ can be partitioned into 2 strange (no intersection) regulardisjoint infinite regular languages L1,L2$L_1, L_2$? such that L1 U L2 = LThat is: $L_1 \cup L_2 = L$, $L_1 \cap L_2 = \varnothing$, and $L_1$ and $L_2$ are both both infinite and regular.
soSo far, iI thought of:
- using pumping lemma such that
using the pumping lemma such that $$ \begin{gather} L_1 &= \{ xy^nz \mid \text{\(n\) is even} \} \\ L_2 &= \{ xy^mz \mid \text{\(m\) is odd} \} \\ \end{gather} $$ but couldn't prove that they are dijoint or covering $L$ completely.
Using the regular language partitions $\Sigma^*$ into dijoint equivalence classes, but I haven't figured out how to determine if an equivalence class is regular or infinite.
L1 = xy^nz (n is even),
L2 = xy^mz (m is odd)
but couldn't prove that they are strange or covering L completely.
- using the regular language partitions \Sigma^* into strange equivalence classes but haven't figured out how to determine if an equivalence class is regular or infinite
thx