正規言語の最大因数分解を見つける
言語ましょうL⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^*規則的で。 の因数分解は、単語の集合のLL\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、 X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\}。 (X,Y)(X,Y)(X,Y)各ペアの場合に最大である(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)とX′⋅Y′⊆LX′⋅Y′⊆LX'\cdot Y' \subseteq \mathcal{L} のいずれかでX⊈X′X⊈X′X \not \subseteq X'又はY⊈Y′Y⊈Y′Y \not \subseteq Y'。 どのペアが最大であるかを見つける簡単な手順はありますか？ 例： してみましょう。集合F = { u 、v 、w }が計算されます：L=Σ∗abΣ∗L=Σ∗abΣ∗\mathcal{L} = \Sigma^∗ab …