intersection - 交差点の下で閉じていない文脈自由言語

Question

ウィキペディアでこの解決策を見つけました。j>n≥ 0 というべきではありませんか? 交点は両方の言語に共通する要素だからです。

L1={a^(n)b^(n)c^(j)| で定義される言語 L1 および L2 を考えてみましょう。n,j ≥ 0} および L2 = {a^(j)b^(n)c^(n): n,j ≥ 0}。どちらも文脈自由です。ただし、それらの共通点は言語 L = {a^(n)b^(n)c^(n)| です。n≧0}。

Answer 1

いいえ、そうすべきではありません。j と n の間には何の関係もありません。L1 の唯一の条件は、a と b の数が等しいことです。c の数が多いか少ないかは重要ではありません。同様に L2 では、b と c の数が同じです。a の数が (b と c の数よりも) 多いか少ないかは重要ではありません。ただし、交差には、L1 と L2 の両方に該当する文字列が含まれます。つまり、(a と b の数が等しい) AND (b と c の数が等しい) であり、a、b、c の数が等しいことを意味します。