必然的に次の言語ではありません

Question

A、Bは、決定できない、AB U BAは必ずしも決められませんか？

答えはいいえだと思います。必ずしも。 次の例について考えましたが、正確には直接反省しません：

私たちがAと補完を受けていれば、一般性を失うことなく、空の単語は「AA」のすべての単語よりも、すべての単語を示すためにそれを使うことはできませんaでもAA 'u A'aにもあります。

誰かが私に助けてくれるのはどのようにしていても、AがAA 'u A'aに問題が解決されるでしょう。

ありがとうございました。

Answer 1

いくつかの未整詞を取ります $ A $ を取り、 $ b= a '\ bigcup \ {\ epsilon \} $を選択します。。 $ b $ も未定であり、残りの証明はあなたがすでに行ったことだけです。