次の質問を検討してください。
とL1をL22 つの言語にします。以下の re 言語のクラスの閉鎖性を証明または反証する
違い
(L1 - L2)積(積の語尾が不明な場合と同様に、どこで終わる
(L1 x L2)かがわかっているという仮定の下で、積を証明してみてください。L1
ここで、閉鎖性とは、L1およびL2がツーリング マシンによって受け入れられる場合、(L1 - L2)または(L1 x L2)
ノート
結合と補完 (結合: 閉じている; 補完: 閉じていない) の解決策を見つけることはできますが、上記 (違いまたは製品) の解決策はわかりません。