Deje que el lenguaje sea regular.L ⊆ Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Una factorización de es un par máximo ( X , Y ) de conjuntos de palabras conLL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} ,X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y donde | x ∈ X , y ∈ Y }...