問題タブ [set-union]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
regex - 正規言語の閉鎖の連結解除
通常の言語を取り、それを別の言語と「連結解除」できる操作を見つけようとしています。例えば：
a*L - a* = L | ここで、L は正規言語です
差 (減算) が必要な操作ではないことはわかっています。しかし、私は自分の主張を理解していると信じています。
別の見方をすると、(A ∪ B) と論理的に等しい集合 L があるが、A にアクセスできない場合です。したがって、L、B、およびその派生物しか使用できない場合、どういうわけかAを導出します。基本的に：
L - B = A | L = (A ∪ B)
私は、通常の言語の補語、交差、およびその他の閉包特性の多くのバリエーションを使用して、この問題について十分に考えましたが、単にそれを理解することはできません.
私が思いついた最高のものは次のとおりです。
A = ((L - B) ∪ (A ∩ B) | L = (A ∪ B)
ただし、これには右辺に A が必要です。